A subspace of a Hausdorff space is a Hausdorff space