X multzo ez-huts batez eta X-ren azpimultzo batzuen T familia batez osatutako egitura matematikoa, non baldintza hauek betetzen baitira: Ø eta X bera T familiakoak dira; T familiako multzoen arteko ebakidura finitua T-ko multzoa da; T familiako multzoen edozein bildura T-ko multzoa da. T familia X-ren gaineko espazio topologikoa da, eta topologia esaten zaio.