noun A total ordering for finite sequences of objects that can themselves be totally ordered. Sequences are primarily sorted by cardinality (length) with the shortest sequences first, and sequences of the same length are sorted into lexicographic order.