Union Operator

Type: definition

$S_1 \cup S_2$ outputs $S_3$ which obeys
\[
  x \in S_3 \Rightarrow x \in S_1 \text{ or } x \in S_2.
\]
This means $S_3$ contains elements in either $S_1$ or $S_2$.