Dziedzina otwarta
Dziedzina otwarta – w przestrzeni topologicznej zbiór, który jest równy wnętrzu swojego domknięcia.
Definicja formalna edytuj
Niech będzie przestrzenią topologiczną. Zbiór jest dziedziną otwartą wtedy i tylko wtedy, gdy zachodzi [1]. Rodzinę dziedzin otwartych przestrzeni oznacza się
Algebra Boole’a rodziny dziedzin otwartych edytuj
Niech będzie przestrzenią topologiczną, a rodziną dziedzin otwartych tej przestrzeni. Określa się działania następująco:
Ponadto przyjmuje się: i Wtedy jest zupełną algebrą Boole’a[1].