Definition:Trivial Relation

The trivial relation is the relation $$\mathcal{R} = S \times T$$ in $$S$$ to $$T$$ such that every element of $$S$$ relates to every element in $$T$$:

$$\mathcal{R}: S \times T: \forall \left({s, t}\right) \in S \times T: s \mathcal{R} t$$