Se puede entonces tomar "F" = F("S"), las clases de equivalencia de cadenas, e "i" la proyección natural de "S" en F("S").