The category\mathbf {Rel} is the category where the objects are (small) sets, the morphisms are relations between these sets, composition is relational composition: g \circ f \triangleq \{ (a,b) \mid \exists i.\ (a,i) \in f \land (i,b) \in g \} and identity is the diagonal relation (equality).