差集)