Skip to content
Journals Garden

Countably Based Filter (可算基をもつフィルター) (Definition II.2.16)

  • Countably Based Filter (可算基をもつフィルター) (Definition II.2.16) #Card
    • A filter having a countable filter-base. The class of all countably based filters is denoted by $\mathbb{F}_1$.

Back

Section titled “Back”

A filter having a countable filter-base. The class of all countably based filters is denoted by $\mathbb{F}_1$.

Lean

Section titled “Lean”

Filter.IsCountablyGenerated f