for X being set holds nabla X is Equivalence_Relation of X