つまり、X/~に属する同値類からなるX/~の部分集合が開集合であることを、（それら同値類をXの部分集合と見ての）その和集合がXにおける開集合となることとして定義する。
我们在商集合X/~（这个集合有所有~的等价类组成）上定义一个拓扑如下：X/~中一个等价集合是开集当且仅当他们的并集在X中是开集。