11.3.2 差集运算