Equivalent RelationsLet  be a surjective function. Let us define A relation on A by settin...

Equivalent Relations

Let  be a surjective function. Let us define A relation on A by setting a0 ~ a1 if

(a) Show that this is an equivalence relation.

(b) Let A* be the set of equivalence classes. Show there is a bijective correspondence of A* with B.