Compactification/Definition

A compact space in which a given topological space can be embedded as a dense subset.