Category:Trivial Relation

From ProofWiki
Jump to navigation Jump to search

This category contains results about the trivial relation.

The trivial relation is the relation $\RR \subseteq S \times T$ in $S$ to $T$ such that every element of $S$ relates to every element in $T$:

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