Para un conjunto A, no vacío, dotado de una ley de composición interna: formula_16, se dice que este conjunto con esta ley de composición interna, tiene elemento simétrico, si tiene elemento simétrico por la izquierda y por la derecha, si se expresa del siguiente modo: