Category:Set Equivalence behaves like Equivalence Relation