On topologia , kompaktisointia on yleinen prosessi upottamalla topologinen tilaa kuin tiheä aliavaruus on kompaktius . Upottamista kutsutaan pakkautuneeksi . Tällainen upotus on olemassa vain ja vain, jos tila on täysin säännöllinen .
Yleisimmin topologia, tunnetuimmat kompaktiot ovat:
Nämä pakotteet määritellään yhteen homeomorfismiin saakka. Ne voidaan luonnehtia universaaleilla ominaisuuksilla: kukin näistä pakatuista määritellään toiminnallisen algebran spektriksi.
Geometriseltä kannalta katsottuna kompaktio koostuu pisteiden lisäämisestä äärettömyyteen ja niiden naapurustojen määrittelemisestä.