En temel altdal olan nokta-küme topolojisi , topolojiyi kümeler teorisi düzeyinde inceler; tıkızlık , bağlantılılık , ayrılabilirlik ,
Kaynak: Topoloji

Örneğin tıkızlık , bağlantılılık , sayılabilirlik bu tür değişmezlerdir. Topolojik eşyapı sal (birbirlerine homeomorfik) iki uzaydan biri
Kaynak: Cebirsel topoloji