关系运算对于关系性质的保持性证明