12.1.2 差集运算SUBTRACT