Boolescher Verband/Endlich/Einbettung/Fakt/Name/Inhalt

Jeder endliche boolesche Verband ${}B$ ist isomorph zur Potenzmenge einer endlichen Menge.