Synonym
差集合