划分.md

当集合$A$的子集族$C$满足下列条件时称为$A$的划分

1. 若$B\in C$，则$B\ne\emptyset$
2. $\cup_{B\in C}B=A$
3. 对任意的$B$，$B'\in C$，若$B\ne B'$，则$B\cap B'=\emptyset$

这里规定$A=\emptyset$时只有划分$\emptyset$，称$C$中元素为划分的单元（也称为划分快）