集合运算及其性质