equiv-ax-ord

Subcontext. Axioms for equivalence relations