>>760
有向点族とフィルターは違うよ

前者は有向集合から集合Xへの写像な　自然数Nから集合Xへの写像として定義される数列の一般化

フィルターというのは、数列で言えば任意の自然数ｎについて、第ｎ項から先の項全部からなる部分列を考えるみたいなこと

だから対応はつけられるが、厳密には異なるもの