En matemática, sea una relación formula_1 sobre un conjunto formula_2, la clausura o cierre de formula_1 es la menor relación que contiene a formula_1 y cumple con una propiedad dada.