Sea formula_1 una relación binaria aplicada sobre un conjunto formula_2, la clausura reflexiva o cierre reflexivo de formula_3, denotada formula_4, es la relación reflexiva más pequeña aplicada sobre formula_5 que contiene a formula_3.