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