compactly generated space

topological space