Hall word

construction providing a total order on a free monoid