Definition:Null Relation

From ProofWiki
Jump to navigation Jump to search


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

$\RR \subseteq S \times T: \RR = \O$

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

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

Also known as

This is also sometimes referred to as a trivial relation by some authors, but to save confusion it is better to use that term specifically to mean this one.

Other sources prefer to call it the empty relation.

Also see

  • Results about the null relation can be found here.