A canonical ordering for free self-distributive systems
Patrick Dehornoy · Proceedings of the American Mathematical Society · 1994
We construct in free left distributive systems a natural relation that corresponds to the lexicographical ordering on sequences and proves to be a linear ordering. Applications to a word problem and to a characterization of free objects are given.