Definition:Category of Relations

Definition
The category of (binary) relations, denoted $\mathbf{Rel}$, is the metacategory with:

Note
The reason to call $\mathbf{Rel}$ a metacategory is foundational; allowing it to be a category would bring us to axiomatic troubles.

Also see

 * Category of Relations is Category