In fact, all set operations can be defined in terms of different types of predicate compositions.

• 事实上,所有集合操作都可以用不同类型的谓词组合来定义。