集合的基本运算公式