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