mula_8的一元运算，这里的formula_9是属性名字的集合。这种投影的结果定义为当所有在formula_10中的元组被限制为集合formula_11的时候所获得的集合。
选择 (σ).广义选择是写为formula_12的一元运算，这里的formula_13是由正常选择中所允许的原子和逻辑算子formula_1（与）、formula_15(或)和formula_16（非）构成的命题公式。这种选择选出formula_10中使formula_13成立的所有元组。Section: