En matemáticas, la clausura o cerradura se refiere al mínimo conjunto que es "cerrado" bajo una cierta propiedad o que contiene justo la mínima cantidad de elementos que hace que determinada propiedad lógica sea cierta para el conjunto, etc.: