Subsection I.1.6.2

Equivalence relation