# Category:Null Relation

This category contains results about Null Relation.

The **null relation ** is a relation $\mathcal R$ in $S$ to $T$ such that $\mathcal R$ is the empty set:

- $\mathcal R \subseteq S \times T: \mathcal R = \O$

That is, *no* element of $S$ relates to *any* element in $T$:

- $\mathcal R: S \times T: \forall \tuple {s, t} \in S \times T: \neg s \mathrel {\mathcal R} t$

## Pages in category "Null Relation"

This category contains only the following page.