Tales propiedades pueden ser la transitividad, reflexividad o simetría, en cuyo caso la clausura se llama, respectivamente, clausura transitiva (CT(formula_1)), reflexiva (CR(formula_1)) o simétrica (CS(formula_1)).