ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F9631 on R2071: Isotonicity of set union
F9631
Formulation 0
Let $E_j$ and $F_j$ each be a D11: Set for every $j \in J$ such that
(i) \begin{equation} \forall \, j \in J : E_j \subseteq F_j \end{equation}
Then \begin{equation} \bigcup_{j \in J} E_j \subseteq \bigcup_{j \in J} F_j \end{equation}