Take a filter base B on E and a function f : E \to Y.

• 经常使用的特殊情况是：要考虑的有序集合只是某个集合的幂集，并用集合包含来排序。