An array is a structure mapping indices to data values, where the indices have a particular structure.
An array can be thought of as a pair of an index set and a data set.
Two arrays are equal if they map the same indices to the same values.
An array is iterable, and when iterated generates exactly the values of