Definition:Union of Relations/General Definition

Definition
Let $S$ and $T$ be sets. Let $\mathscr R$ be a collection of relations on $S \times T$.

The union of $\mathscr R$ is the relation $\mathcal R$ defined by:


 * $\mathcal R = \displaystyle \bigcup \mathscr R$

where $\bigcup$ denotes set union.

Explicitly, for $s \in S$ and $t \in T$:


 * $s \mathrel{\mathcal R} t$ iff for some $\mathcal Q \in \mathscr R$, $s \mathrel{\mathcal Q} t$

Also see

 * Intersection of Relations