Centered Family / Filter-Subbase (有心族・準基) (Definition II.2.3)
QUESTION
Centered Family / Filter-Subbase (有心族・準基) (Definition II.2.3)
Click to reveal answer ANSWER
A family $\mathcal{D}$ of subsets of $X$ is centered (or has the **finite intersection property**) if for any finite subfamily $\mathcal{D}_0 \subset_{\text{fin}} \mathcal{D}$, the intersection $\bigcap_{D \in \mathcal{D}_0} D$ is non-empty.
Click to see question - ソースノート: chapter2.md
- カードID: centered-family-filter-subbase
- 状態: active