polje: matematika
grana: geometrija i topologija
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
podskup topološkoga prostora u kojemu za svaki njegov otvoreni pokrivač postoji otvoreni potpokrivač
Podskup je topološkoga prostora kompaktan ako je kompaktan kao topološki prostor uz naslijeđenu topologiju.