统的集合“并、差、交”运算施加于两个关系时，这两个关系必须。