Stone-Raum

Ein Stone-Raum ist ein kompakter, Hausdorff’scher, totaldiskontinuierlicher topologischer Raum, der als Raum der Ultrafilter einer Booleschen Algebra entsteht oder in der Modelltheorie als Raum der vollständigen n-Typen (Typraum) mit der durch Mengen von Typen, die eine gegebene Formel enthalten, erzeugten Topologie; Punkte entsprechen Ultrafiltern/vollständigen Typen und klopen Mengen entsprechen

Ein kompakter, Hausdorffscher, nulldimensionaler (total getrennt) topologischer Raum, der als duales Objekt einer Booleschen Algebra im Sinne der Stone-Dualität auftritt; Punkte entsprechen Ultrafiltern und klopen Mengen entsprechen den Algebraelementen.