集合演算

集合族の和集合・積集合の性質

\[ \forall B\in\mathcal{A},B\subseteq\bigcup\mathcal{A} \]