集合論
数学の集合論における、ジェネリックフィルター