Free monoids and generalized metric spaces

Mustapha Kabil, Maurice Pouzet, Ivo Rosenberg

Let $A$ be an ordered alphabet, $A^{\ast }$ be the free monoid over $A$ ordered by the Higman ordering, and let $F(A^{\ast })$ be the set of final segments of $A^{\ast }$. With the op…