|
|
|
|
BOOLEsche Algebren und 
eine
bijektive Abbildung.
heißt Isomorphismus , falls gilt:
 |
(5.318) |
Jede endliche BOOLEsche Algebra ist isomorph zur BOOLEschen Algebra der
Potenzmenge einer endlichen Menge.
Insbesondere hat jede endliche BOOLEsche Algebra 
Elemente, und je zwei
endliche BOOLEsche Algebren mit gleich vielen Elementen sind isomorph.
Im folgenden wird mit 
die zweielementige BOOLEsche Algebra 
mit den folgenden Operationen bezeichnet:
-fachen kartesischen Produkt
die Operationen 
und
komponentenweise, so wird 
mit
und 
zu einer BOOLEschen Algebra.
Man nennt
das -fache direkte Produkt von 
Da 
Elemente enthält, erhält man auf diese Weise alle endlichen
BOOLEschen Algebren (bis auf Isomorphie).
|
|