Order
Order[expr1,expr2] gives 1 if expr1 is before expr2 in canonical order, and -1 if expr1 is after expr2 in canonical order. It gives 0 if expr1 is identical to expr2.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.