<p>An <em>Ordered Collection Type</em> is an abstract data type that defines the properties of collection data structures whose members can be linearly ordered.
An ordered collection is a collection together with an ordering relation (such as greater than) that linearly orders the collection elements.
</p>