$B$ ve her $\alpha\in\Lambda$ için $A_{\alpha}$ herhangi kümeler olmak üzere $$(\forall \alpha\in\Lambda)(A_{\alpha}\subseteq B)\Rightarrow \bigcup_{\alpha\in\Lambda} A_{\alpha}\subseteq B$$ olduğunu gösteriniz.