5.3.3 关系运算与关系的性质