Boolescher Verband/Endlich/Einbettung/Fakt

Isomorphiesatz für endliche boolesche Verbände

Jeder endliche boolesche Verband ${}B$

ist isomorph zur Potenzmenge einer endlichen Menge.

Zum Beweis, Alternativen Beweis erstellen