>>81
確率解析のフィルターは有向集合のフィルターとは全く違う概念