More of a forward-knowledge looking back approach (since you need to do this problem to prove what I'm about to say), but a relation on induces a partition of where the blocks are the equivalence classes. If that is a definition in your book the answer follows immediately.