\begin{definition}[Definition:Category of Relations]
The '''category of (binary) relations''', denoted $\mathbf{Rel}$, is the metacategory with:
{{DefineCategory
|ob   = sets
|mor  = binary relations $\RR \subseteq A \times B$.
|comp = composition of relations
|id   = identity mappings
}}
\end{definition}