9.6.2 差集运算>> >