14.1.7 差集运算