Satz von Suslin

In der Mathematik werden mehrere, eng miteinander zusammenhängende, Sätze der deskriptiven Mengenlehre als Satz von Suslin (nach Michail Jakowlewitsch Suslin) bezeichnet.

• Es gibt eine analytische Menge in ${\displaystyle \mathbb {R} }$, die keine Borel-Menge ist.

• Eine analytische Menge im ${\displaystyle \mathbb {R} ^{n}}$ ist genau dann eine Borel-Menge, wenn ihr Komplement eine analytische Menge ist.

• Jede analytische Menge im ${\displaystyle \mathbb {R} ^{n}}$ ist die Orthogonalprojektion einer Borel-Menge im ${\displaystyle \mathbb {R} ^{n+1}}$.

• Alle analytischen Mengen können durch Anwendung der Suslin-Operation auf die Familie der abgeschlossenen Mengen konstruiert werden.