Equivalence relation

This section is empty…