Definition:Lexicographic Order/Linguistic Note

From ProofWiki
Jump to navigation Jump to search

Linguistic Note on Lexicographic Order

The term lexicographic order derives from the word lexicon, which is a linguistic term whose meaning is akin to dictionary.

The origin of its use in this context is apparent from the fact that the tuples are ordered in the way they would be if their terms are letters of the alphabet being ordered in standard alphabetical order.


Sources