Compactly generated Hausdorff space

Definition
A compactly generated Hausdorff space is a topological space that is both a defining ingredient::compactly generated space and a defining ingredient::Hausdorff space.