拓扑空间的紧致性具有闭遗传性（ ）。