集合の分割
数学において、集合 X の分割 (partition) とは、X の全体を覆う互いに重ならない部分集合の族のこと、あるいはその集合族を得ることである。