En el caso de grupos, es suficiente comprobar que "S" no sea un conjunto vacío, y que "x" e "y" siempre también contenga "x" * "y".