compactly generated

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$.