Dehornoy order
English
Etymology
Found by Patrick Dehornoy.
Noun
Dehornoy
order
(
mathematics
,
braid theory
)
A left-invariant total order on the
braid group
.