Skip to content
Journals Garden

Fréchet Filter (フレシェ・フィルター) (Definition II.3.8)

  • Fréchet Filter (フレシェ・フィルター) (Definition II.3.8) #Card
    • A filter that is the infimum of sequential filters.

Back

Section titled “Back”

A filter that is the infimum of sequential filters.

Lean

Section titled “Lean”

フレシェ・フィルター = ℕ 上の補有限フィルター Filter.cofinite