集合之间的运算性质