ABSTRACT
A basic notion in set theory is that of relation; we shall investigate in some detail two special cases: order relations and equivalence relations.
Definition 15.1. If A is a set then a relation on A is a subset R ⊂ A×A. If (a, b) ∈ R we write aRb.
