, la clausura o cierre de
es la menor relación que contiene a
y cumple con una propiedad dada.
Tales propiedades pueden ser la transitividad, reflexividad o simetría, en cuyo caso la clausura se llama, respectivamente, clausura transitiva (CT(
Cada una de estas clausuras C(