在一个集合上如何定义拓扑,使之成为拓扑空间,这在不同的拓扑文献中是不尽相同的。木文给出七个拓扑空间的定义,并证明它们之间的等价性。