Useful equivalence relations on $X^{\ast}$ (like the Nerode and syntactic equivalence relations)
The article by Thomas Colcombet on Green's Relations and Their Use in Automata Theory might be interesting for you. These relations are very common in the algebra of semigroups. 

See also Section 2.8 in Chapter 10 of the Handbook of Formal Languages.