Dehornoy order en · NOUN EtymologyFound by Patrick Dehornoy. Meanings (qualifier:braid theory) A left-invariant total order on the braid group.