Definición Sea un Conjunto en el cual se definió una operación binaria interna tal que es un elemento del conjunto , tal que para cualquier otro elemento de , se cumple: