拓扑空间的直积

_

direct product of topological spaces