También conocido como cerradura, quedó establecida en la anterior definición; Cuando en ("G, formula_6") el resultado de operar sus elementos entre sí es otro elemento del mismo conjunto por lo que, la operación se mantiene cerrada para dicho conjunto.