Skip to content
Journals Garden

Cofinite Filter at $B$ (余有限フィルター) (Example II.2.20)

  • Cofinite Filter at $B$ (余有限フィルター) (Example II.2.20) #Card
    • For $B \subset X$, the family $(B)_0$ of all $B$-cofinite sets (sets $F$ such that $B \setminus F$ is finite).

Back

Section titled “Back”

For $B \subset X$, the family $(B)_0$ of all $B$-cofinite sets (sets $F$ such that $B \setminus F$ is finite).

Lean

Section titled “Lean”

本書独自（点 b における補有限フィルター）。Filter.cofinite の変種