In mathematics, the category Rel has the class of sets as objects and relations as morphisms.
Categories: Category-theoretic categories | Category theory stubs