关系基本特性的运算封闭性