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