演了最重要的角色。选择是可非常有效的减少在它的操作数中的行数的运算，所以如果我们设法把在表达式树中选择向着叶子方向移动，（子表达式产生的）内部关系的大小将被缩小。
基本选择性质.选择是幂等性的（多次应用同一个选择有同样效果），和交换性的（应用选择的次序在最终结果中没有影响）。
分解有复杂条件的选择.其条件是更简单条件的合取的选择等价于针对这些单独条件的一序列选择，而其条件是析取的选择等价于选择的并集。可以使用这些恒等式来合并多个选择为更少的需要求值的选择，