Dehornoy order

Etymology
Found by Patrick Dehornoy.

Noun

 * 1)  A left-invariant total order on the braid group.