# Definition:Antilexicographic Order/Also known as

## 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.