关系代数特有的关系运算2