集合的基本运算-补给