11.2.2 差集运算