Axiomatic Method for Definition: Equivalence Relation [574]