Definition:Relation/Class Theory

Definition
Let $V$ be a basic universe.

In the context of class theory, a relation $\RR$ is a subclass of the Cartesian product $V \times V$.