从关系中找出满足给定条件的所有元组称为（ ），经过运算得到的结果可以形成新的关系，其关系模式不变。