A topológia , compactification egy általános eljárást, beágyazására egy topológiai térben , mint egy sűrű altér egy kompakt térben . A beágyazást tömörítettnek nevezzük . Ilyen beágyazódás csak akkor létezik, ha a tér teljesen szabályos .
Az általános topológiában a leghíresebb tömörítések a következők:
Ezeket a kompakciókat egyetlen homeomorfizmusig határozzák meg. Univerzális tulajdonságokkal jellemezhetők: ezek a tömörítések mindegyike egy funkcionális algebra spektrumaként van meghatározva.
Ennek ellenére geometriai szempontból a tömörítés abból áll, hogy pontokat adunk a végtelenhez, és meghatározzuk a szomszédságukat.