Category:Relation Partitions Set iff Equivalence