The decomposition of a set into a family of mutually exclusive sets.

• 划分，分类把一个集合分拆成几个互相排斥的集合族