la_75的包含来自formula_10和formula_74二者的属性的那些部分。注意formula_76、formula_77或formula_78可能为空，则下列规则成立：
选择和集合运算.选择在差集、交集和并集算子上是分配性的。使用下列三个规则在表达式树中把压入下面的集合运算中。注意，在差集和交集算子的情况下有可能在变换之后只把选择算子应用于某一个操作数。在如下情况下这是有意义的，操作数之一很小，而计算选择的花费超过了使用更小关系作为操作数的利益。Section:::