Топологічний простір — це впорядкована пара, де X — множина, а Γ — система підмножин множини X, що задовільняє таким умовам: Порожня множина ∅ {\displaystyle \varnothing } та множина X належать Γ. Об'єднання довільного набору множин з Γ також належить Γ. Перетин скінченного набору множин з Γ також належить Γ.Тоді множина Γ називається топологією над множиною X, а елементи X є точками.
في الرياضيات، الفضاء مجموعة ذات خواص مميزة وعادة يكون مزودا ببنية رياضية إضافية.