10.7.3 差集