En un grupo, cada uno de los elementos tiene un (y solo un) elemento simétrico.