 Myhill-Nerode equivalence

For a language $A\subseteq {\Sigma }^{\ast }$, defineThis is a right congruence, and its equivalence classes are the states of the minimal deterministic finite automaton for $A$.