集合的划分与覆盖-集合与关系-离散数学