Category of relations (sets)
= Category of relations (sets)
{wiki=Category_of_relations}
The category of relations on <sets> has sets as objects and <binary relations> as morphisms. Relational composition declares $aRc$ when some intermediate $b$ satisfies both component relations; the identity is the diagonal relation.