Skip to content
Journals Garden

Principal Filter (主フィルター) (Definition II.2.4)

  • Principal Filter (主フィルター) (Definition II.2.4) #Card
    • A filter having a finite filter-base. A proper principal filter is generated by a single non-empty set $B \subset X$, i.e., $\mathcal{F} = {B}^\uparrow$.

Back

Section titled “Back”

A filter having a finite filter-base. A proper principal filter is generated by a single non-empty set $B \subset X$, i.e., $\mathcal{F} = {B}^\uparrow$.

Lean

Section titled “Lean”

Filter.principal s (𝓟 s)