令
為拓撲空間。一個開集的集合
被稱為拓撲
的基,如果每個開集
是
中集合的並集。
顯然
是它自己的基。
在一個拓撲空間
中,一個集合
是
的基當且僅當它由開集組成,並且對於每個點
和
的開鄰域
,存在一個集合
使得
.
證明
我們需要證明,
是
的一個子集是開的,當且僅當它是由
中的元素的並集。然而,如果部分很明顯,因為
中的元素是開的,任意個開集的並集也是開的。因此,我們只需要證明任何一個開集
確實是這樣的並集。
令
為任意一個開集。考慮任意元素
。根據假設,在
中至少存在一個元素,它既包含
,又是
的子集。根據選擇公理,我們可以對每個
同時選擇這樣的一個元素
。所有這些元素的並集確實是
。因此,任何開集都可以表示為
中的集合的並集。
設
為任意集合,
為
的子集族。存在
上的拓撲
使得
為
的基當且僅當
滿足以下條件:
- 如果
,那麼存在一個
使得
。
- 如果
且
,那麼存在一個
使得
。
注: 第一個條件等價於說
中所有集合的並集為
。
令
為任意集合,
為
的子集的集合。那麼,
是一個半基,如果 X 的基可以由
的元素的有限交集形成。
- 證明集合
,即
中所有開區間的集合,是
上拓撲的一個基。
- 證明集合
,即
中所有閉區間的集合,**不是**
上拓撲的一個基。
- 證明集合
,即半開區間的集合,是
上拓撲的一個基。
- 證明集合
,即半開區間的集合,是
上拓撲的一個基。
- 令
。劃分
在閉區間
上定義為有序的 n 元組
;範數 劃分
定義為 
對於每個
,定義集合
。
如果
是
上所有劃分的集合,證明所有
的集合是
上拓撲的基。