Hewittin–Marczewskin–Pondiczeryn lause
Wikipedia
Topologiassa Hewittin–Marczewskin–Pondiczeryn lauseen mukaan jos on olemassa perhe avaruuksia joille Xi:llä on kokoa k oleva tiheä osajoukko, jonka kardinaali on ääretön, ja
, on
:llä tiheä osajoukko, jonka kardinaali on k. Lausetta voidaan käyttää osoittamaan, että
on separoituva.