Không gian tôpô là những cấu trúc cho phép người ta hình thức hóa các khái niệm như là sự hội tụ, tính liên thông và tính liên tục. Những dạng thường gặp của không gian tôpô bao gồm không gian Euclid, không gian metric và đa tạp. Chúng xuất hiện hầu như trong tất cả mọi ngành của toán học hiện đại và là một khái niệm thống nhất có tính trọng tâm. Ngành toán nghiên cứu về các không gian tôpô gọi là toán học tô pô.