Esto define una relación de equivalencia en el conjunto de las cadenas; el correspondiente conjunto cociente es F("S").