Skip to content
Journals Garden

Proper Filter (固有フィルター)

  • Proper Filter (固有フィルター) #Card
    • A filter $\mathcal{F}$ is proper if $\emptyset \notin \mathcal{F}$. If $\emptyset \in \mathcal{F}$, the filter is improper (which is the power set $2^X$). Proper, non-empty filters are called non-degenerate.

Back

Section titled “Back”

A filter $\mathcal{F}$ is proper if $\emptyset \notin \mathcal{F}$. If $\emptyset \in \mathcal{F}$, the filter is improper (which is the power set $2^X$). Proper, non-empty filters are called non-degenerate.

Lean

Section titled “Lean”

Filter.NeBot f（= f ≠ ⊥）