有限交叉性

定義 4.4（「コンパクト性」§4）

集合 $X$ の部分集合の族 $\{F_\lambda\}_{\lambda \in \Lambda}$ が有限交叉性をもつとは、任意の有限個の添字 $\lambda_1, \ldots, \lambda_m \in \Lambda$ に対して

F_{\lambda_1} \cap F_{\lambda_2} \cap \cdots \cap F_{\lambda_m} \ne \emptyset

が成り立つことをいいます。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。