Subcofinite / Almost Principal Filter (亜余有限・ほぼ主フィルター) (Definition II.5.8)
QUESTION
Subcofinite / Almost Principal Filter (亜余有限・ほぼ主フィルター) (Definition II.5.8)
Click to reveal answer ANSWER
A filter $\mathcal{F}$ is subcofinite if there exists $F_0 \in \mathcal{F}$ such that $F_0 \setminus F$ is finite for each $F \in \mathcal{F}$.
Click to see question - ソースノート: chapter2.md
- カードID: subcofinite-almost-principal-filter
- 状態: active