Họ T được gọi là một topo trên X. Các tập hợp trong T được gọi là các tập mở, và phần bù của chúng trong X được gọi là các tập đóng. Các phần tử của X được gọi là các điểm.