Esta es la característica esencial para determinar si un conjunto G es un grupo, necesariamente, ("G, formula_6") debe de ser un monoide, cumpliendo las anteriores propiedades expuestas y además, verificar la existencia del elemento simétrico para cada uno de los elementos del monoide, es decir: