Let . If and belong to , define if . Prove that is an equivalence relation on . Give a geometrical description of the equivalence classes of .

Proof.So (reflexivity). Also (symmetry). Also if and , then (transitivity).

Consider where . Then . In this case, is an ordered pair. So it would be a circle?