是除法，不是差集