7.3.3 差集