定義(拓撲空間):
**拓撲空間** 是一個集合
以及關於它的一個拓撲
。
定義(閉開集):
設
是一個拓撲空間。一個子集
稱為閉開集,當且僅當它同時是開集和閉集。
證明: 我們聲稱,在滿足命題中 1.-3. 的集合
(稱此集合為
)與
上的拓撲之間存在一個雙射,我們將用
表示,因此如果這個雙射表示為
,那麼拓撲
的閉集由
精確給出。實際上,這個對映
由
給出,其逆為
.
這些透過直接計算互為逆,並且
的閉集恰好是
。我們必須證明
是定義良好的,也就是說,它將
對映到
,並且逆對映也是定義良好的,因為它將
對映到
。首先令
為拓撲。由於
並且
,上述條件 1 被滿足。現在假設
,因此對於
,我們有
,對於某個
。由於
是拓撲,
,此外,根據德摩根定律
.
最後,假設
是
中元素的一個族,並且對於
再次寫出
。由於
是一個拓撲,
,並且根據德摩根定律
,
和
滿足 1. - 3. 反方向可以透過類似的計算來證明。因此,唯一一個閉集為
的拓撲是
,如果
是一個拓撲,
,其閉集,滿足 1.-3. 
證明:這是一種特殊情況,因為冪集的子集按包含排序。 
命題(拓撲的交集是一個拓撲):
令
為集合
上的一族拓撲。那麼

是
上的拓撲。
證明:這從交集保留封閉性質得出,注意到有限交集和任意並集是
上的運算(以及整體和空集,即 0 階運算),並且每個拓撲都對這些運算封閉。 
Proof: Let's first show that whenever the sets
are the neighbourhoods of a topology
on
, then they satisfy 1. - 4. Indeed,
is an (open) neighbourhood of every of its points. Then, whenever
for some
, we find open sets
such that
and
, note that
and that
is open, as finite intersections of open sets are open. If
,
open and
arbitrary, then
so that
. Finally, if
, choose an open
s.t.
, then
is open, hence a neighbourhood of all of its points. Now suppose that for each
we are given
and these neighbourhoods satisfy the conditions 1.-4. Then we define

and claim that
is a topology. Indeed,
, since then the condition is trivially satisfied, since there are no
. Furthermore,
, since whenever
,
and
is a neighbourhood of
. Then, suppose that
is a family of sets contained in
, and set
. We claim that
. Indeed, if
, pick
so that
, then
such that
since
, and finally note that
. Then, let
and pick
so that
and
. Then
, so that
, since
.
Now we claim that for each
, the neighbourhoods of
with respect to
are precisely
. Indeed, let first a neighbourhood
of
be given. Choose
open. Then by definition of
, there exists
such that
, and since
is closed under supersets,
. Conversely, suppose
. Define
, and claim that
and
is open in
. Indeed,
is clear, since
is necessary for
being a neighbourhood of
. Let now
. By 4., choose
so that
and
is in
for all
. Thus
for all
, so that
, and since
was arbitrary,
is open, and
is a neighbourhood in
of
.
最後,設
為任何以
作為鄰域的拓撲,並斷言
如上定義。事實上,如果
,則
本身就是其每個點的鄰域,因此在
中。反之,如果
,則對於每個
,選擇
的一個鄰域
包含在
中(為了避免選擇公理,選擇它們是所有此類集合的並集),並注意
. 
- 設
為一個集合。- 證明
,即冪集,是
上的拓撲(稱為離散拓撲),並且當
具有該拓撲,
是任意一個函式,其中
是一個拓撲空間,那麼
自動是連續的。
- 證明
是
上的拓撲(稱為平凡拓撲),並且當
具有該拓撲,
是任意一個拓撲空間,
是任意一個函式,那麼
是連續的。