时候所获得的集合。
选择 (σ).广义选择是写为formula_12的一元运算，这里的formula_13是由正常选择中所允许的原子和逻辑算子formula_1（与）、formula_15(或)和formula_16（非）构成的命题公式。这种选择选出formula_10中使formula_13成立的所有元组。
重命名 (ρ).重命名是写为formula_19的一元运算，这里的结果同一于formula_10，除了在所有元组中的formula_21字段被重命名