 It is often useful to embed topological spaces in compact spaces, because of the special properties compact spaces have.Embeddings into compact Hausdorff spaces may be of particular interest.Since every compact Hausdorff space is a Tychonoff space, and every subspace of a Tychonoff space is Tychonoff, we conclude that any space possessing a Hausdorff compactification must be a Tychonoff space.