OrderedQ

WMA link


OrderedQ[{a, b}]

is True if a sorts before b according to canonical
ordering.

Order
PatternsOrderedQ