14.3.2 差集运算