cerradura (sustantivo femenino): Mínimo conjunto que es "cerrado" bajo una cierta propiedad o que contiene justo la mínima cantidad de elementos que hace determinada propiedad sea cierta para el conjunto, etc.