成空间，并且如果"X" 本身已经是紧生成的，那么"X" = "X" ，否则"X" 将严格比"X" 精致（即拥有更多开集）。以上的构造是函子性的，即把"X" 映射到"X" 是从Top到CGTop的函子，而且这个函子是CGTop → Top的包含函子的右伴随。定义在紧生成空间"X" 上的映射的连续性可以完全由"X" 的紧致子集决定。具体而言，函数"f" :"X" →"Y" 是连续的当且仅当它在每一个紧致子集"K" ⊆"X" 上的限制都是连续的。即使"X" 和"Y" 均是紧生成空间，他们的积"X" ×