On osoittautunut, että kaikki topologiset käsitteet voidaan määritellä avoimen joukon käsitteen avulla.
on ˌosoitːautˈunut, ˈetːæ kˈaikːɪ tˌopoloɡˈiset kæsˈitːeːt vˈoidaːn mæːrˈitellæ avˈoimen jˈoukoŋ kæsˈitːeːn avˈulla.