Представления булевых алгебр[править | править исходный текст]

Можно доказать, что любая конечная булева алгебра изоморфна булевой алгебре всех подмножеств какого-то множества. Отсюда следует, что количество элементов в любой конечной булевой алгебре будет степенью двойки.

Знаменитая теорема Стоунаутверждает, что любая булева алгебра изоморфна булевой алгебре всех открыто-замкнутых множеств какого-токомпактноговполне несвязногохаусдорфоватопологического пространства.