A topological space has a Hausdorff compactification if and only if it is Tychonoff.
Pogosto je koristno, če vložimo topološke prostore v kompaktne prostore, ker imajo kompaktni prostori posebne značilnosti.