Es sei ${\displaystyle {}M}$ eine Menge und ${\displaystyle {}P}$ und ${\displaystyle {}Q}$ seien Partitionen von ${\displaystyle {}M}$. Man sagt, dass ${\displaystyle {}P}$ feiner als ${\displaystyle {}Q}$ ist, wenn jeder Block von ${\displaystyle {}P}$ eine Teilmenge eines Blockes von ${\displaystyle {}Q}$ ist.