A Hausdorff topological space $X$ is said to be compactly generated if for each $A \subset X$ $A$ is closed if and only if $A \cap C$ is closed for every compact $C \subset X$