14.2.4 差集