拓撲空間是一個集合 X,以及 X 的子集集合 C,使空集和 X 均包含在 C 中,且 C 中任意子集集合的並集以及 C 中任意有限子集集合的交集也包含在 C 內。C 中的集合稱為開集。它們相對於 X 的補集稱為閉集。
給定兩個拓撲空間 X 和 Y,如果對於 Y 的每個開集 U,f−1(U) 是 X 的開集,則從 X 到 Y 的對映 f 是連續的。