Topologiala spaco en topologio esas ensemblo X {\displaystyle X} kun expozita familio τ {\displaystyle \tau } di subensembli di ca ensemblo havant apta traiti (axiomi topologiala).
