Sucede que para estructuras particulares, a veces no es necesario verificar todas las cerraduras una a una, por ejemplo en el caso de subgrupos tenemos el teorema indicado arriba como definición III.