Diskreetti avaruus

Diskreetti avaruus on topologinen avaruus, jossa avaruuden kaikki osajoukot ovat avoimia. Tällainen diskreetti topologia voidaan määritellä missä joukossa tahansa.^{[1] [2]}

Jokainen diskreetti avaruus on metristyvä. Jos metriikka muodostetaan siten, että kahden pisteen etäisyys d(x,y) = 1, jos x ≠ y, ja d(x,x) = 0, tämän metriikan määräämä topologia on diskreetti topologia.^[3].