reflexive property of equivalence relation