4.6.2 差集