Cocountable Filter at $B$ (余可算フィルター) (Example II.2.24)

• Cocountable Filter at $B$ (余可算フィルター) (Example II.2.24) #Card
  • For $B \subset X$, the family $(B)_1$ of all $B$-cocountable sets (sets $F$ such that $B \setminus F$ is countable or empty).

Back

For $B \subset X$, the family $(B)_1$ of all $B$-cocountable sets (sets $F$ such that $B \setminus F$ is countable or empty).

Lean

補可算フィルター Filter.cocountable の変種