类型的拓扑结构