Footnote 5.2.

Again, there is a mathematical theory of equivalence relations which applies in many more instances than the one we look at here.