Теорема Стоуна о представлении булевых алгебр: различия между версиями

Изоморфизм посылает элемент ''b''∈''B'' в множество всех [[ультрафильтр]]ов, содержащих ''b''.

По построению, это множество открыто и замкнуто.

 

Ниже приведено уточнение теорем на языке [[Теория категорий|теории категорий]].