noun
Meaning 1
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.
Definition source: English Wiktionary via Wiktextract
Usage: attributive, often, uncountable
Topics: mathematics, sciences
Examples
- a shortlex normal form
Meaning relationships
Synonyms: none provided
Antonyms: none provided