Puesto que la relación de equivalencia es compatible con la concatenación, F("S") es un grupo con dicha operación.