7 【数学】 フィルター《一つの集合の部分集合から成る集合で, 空集合を含まず, その要素を含む集合がまた要素であり, かつ二つの要素の共通部分がまたその要素であるようなもの》.