• The set of relations from $A$ to $B$ is the set $\mathrm{Rel}\webleft (A,B\webright )$ defined by
    \[ \mathrm{Rel}\webleft (A,B\webright ) \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft\{ \text{Relations from $A$ to $B$}\webright\} . \]

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: