Dehornoy order
In the mathematical area of braid theory, the Dehornoy order is a left-invariant total order on the braid group, found by PatrickDehornoy (1994, 1995).
Dehornoy's original discovery of the order on the braid group used huge cardinals, but there are now several more elementary constructions of it.