a≈b means (a,b) is in the equivalence relation ≈