Definition:Antilexicographic Order/Also known as

From ProofWiki
Jump to navigation Jump to search

Antilexicographic Order: Also known as

Antilexicographic order can also be referred to as colexicographic order.

Some sources classify the antilexicographic order as a variety of order product.

Hence the term antilexicographic product can occasionally be seen.

Some sources which focus more directly on real analysis refer to this merely as the ordered product, or order product.

This is because the other types of order product as documented on $\mathsf{Pr} \infty \mathsf{fWiki}$ are not of such importance in that context.

Such sources may even define the order product on a totally ordered set, ignoring its definition on the general ordered set.

The mathematical world is crying out for a less unwieldy term to use.

Some sources suggest AntiLex or CoLex, but this has yet to filter through to general usage.