EquivalenceRelation: The original version.