Ayrık olmayan bir uzay, ayrık olmayan bir topoloji uzayı olarak alınsın,
(X,€) bir topolojik uzay olsun. €={∅,X} topolojisinden oluşuyorsa buna ayrık olmayan topoloji denir.
Ayrıca €={ P(X) } topolojisinden oluşuyorsa €, bir ayrık topolojidir.( P(X) : X'in alt kümeleri.)