Ah I see. So for my last example I ended up with { (a,a), (b,b), (c,c), (d,d) }. I kinda guessed it wasn't equivalent, but I see that it is now.TimesEunuch said:Yeah, that's correct. Recall though that an equivalence relation has to contain (x, x) for any x in X (i.e. we must have x~x for all x). So for { (x, f(x)) | x in X } to be an equivalence relation, f(x)=x always. In other words, the only f that gives an equivalence relation is the identity function (and the corresponding partition consists of singleton sets).
Thanks.