为了使操作有意义，关系在并运算上必须是兼容的。