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.
Aiheesta muualla Ask a Topologist
Luokka:Topologia Luokka:Matemaattiset teoreemat