Definition:Relation/Class Theory

Definition
Let $V$ be a basic universe.

Let $A$ and $B$ be subclasses of $V$.

A relation $\RR$ is a subclass of the Cartesian product $A \times B$.

Note that in this context either or both of $A$ and $B$ can be $V$ itself.