En el caso de un conjunto formula_1 y una operación binaria formula_2 definida sobre el formula_3, tendremos que para dos elementos cualesquiera del conjunto "A" operados bajo formula_2, el resultado siempre pertenece al mismo conjunto "A".