Darstellungssatz für Boolesche Algebren

Der Darstellungssatz für Boolesche Algebren (auch: Darstellungssatz von Stone oder Stonescher Darstellungssatz) ist ein Satz aus der Verbandstheorie, der 1936 von dem US-amerikanischen Mathematiker Marshall Harvey Stone entdeckt wurde. Er besagt, dass jede boolesche Algebra zu einer Mengenalgebra isomorph ist, und zwar zu der booleschen Algebra der abgeschlossenen und zugleich offenen Mengen in einem so genannten Stone-Raum.