从两个关系的笛卡尔积中选取它们的属性间满足一定条件的元组的运算是( )。