topologischer Raum, dessen Topologie von einer vollständigen Metrik definiert werden kann, und dessen Topologie eine abzählbare Basis besitzt.

ℝ und ℕ, versehen mit der gewöhnlichen Topologie, sind Polnische Räume. Da das abzählbare Produkt Polnischer Räume wiederum ein Polnischer Raum ist, sind es auch [0, 1]^ℕ, ℝ^ℕ, ℕ^ℕ und {0, 1}^ℕ. Jeder nicht leere Polnische Raum ist das Bild des Polnischen Raumes ℕ^ℕ unter einer stetigen Abbil-dung und ist homöomorph zu einer G_σ-Menge von [0, 1]^ℕ.

Jedes endliche Borel-Maß auf einem Polnischen Raum ist ein Borel-reguläres Maß.