A construction that extends a given topological space to a compact space that has certain nice properties.