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