Sea formula_1 una relación binaria aplicada sobre un conjunto formula_2, la clausura simétrica o cierre simétrico de formula_1, denotada formula_4, es la relación simétrica más pequeña aplicada sobre formula_2 que contiene a formula_1.