集合的运算和基本恒等式