Definition:Null Relation

Definition
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

 * Definition:Trivial Relation