12.3.3 差集