拓樸空間係一個集連同一個「拓樸結構」，入面嘅元素一般叫做入面嘅點，而拓樸結構就涵蓋咗開集、閉集、鄰域、內部、閉包、導集等等嘅概念，由呢啲概念出發可以得出各種等價嘅拓樸結構嘅定義，而最常用嘅係基於開集嘅定義。