Una manera equivalente de definir a un conjunto cerrado es diciendo que «un conjunto es cerrado si y sólo si es igual a su clausura topológica», que es el conjunto cerrado más pequeño que contiene a un conjunto.