Axiomatic Method for Definition: Equivalence Relation [574]

Underlying Axioms

Logical Predecessors

Logical Successors

OK