Definition:Relation/Class Theory

From ProofWiki
Jump to navigation Jump to search


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.


If $\tuple {x, y}$ is an ordered pair such that $\tuple {x, y} \in \RR$, we use the notation:

$s \mathrel \RR t$


$\map \RR {s, t}$

and can say:

$s$ bears $\RR$ to $t$
$s$ stands in the relation $\RR$ to $t$

If $\tuple {s, t} \notin \RR$, we can write: $s \not \mathrel \RR t$, that is, by drawing a line through the relation symbol.

Also see

  • Results about relations can be found here.