shortlex

English

Etymology

From short lexicographic.

Noun

shortlex (uncountable)

1. (mathematics, often attributive) 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.

   a shortlex normal form

Related terms

• colex