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