Properties of arrays in general
An array is a sequence of indexed components:
- The length of the array (its number of components) is fixed when the array is constructed.
- Each array component has a fixed and unique index. The indices range from a lower bound to an upper bound.
- Any array component can be efficiently accessed (inspected or updated) using its index, in O(1) time.