>通常空間 X のフィルトレーションというのは X ⊃ X_1 ⊃ X_0 ⊃ . .

これをフィルターと定義してる本もいくらでもある