Definition:Class Relation

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ and $T$ be classes.

Let $S \times T$ be the Cartesian Product of $S$ and $T$.


Then a relation on $S \times T$ is defined as a subclass of $S \times T$:

$\mathcal R \subseteq S \times T$