Es sei M {\displaystyle {}M} eine Menge und es sei V {\displaystyle {}V} der Verband der Partitionen auf M {\displaystyle {}M} .