Partition/Verfeinerung/Definition

Feinere Partition

Es sei eine Menge und und seien Partitionen von . Man sagt, dass feiner als ist, wenn jeder Block von eine Teilmenge eines Blockes von ist.