Dehornoy order

English

Etymology

Found by Patrick Dehornoy.

Noun

Dehornoy order

  1. (mathematics, braid theory) A left-invariant total order on the braid group.