Equivalence and congruence relations
Merge pull request #953 from JanBessai/OrderEqCong

Equivalence and congruence relations