*Definition [#z4ebe24c]
-Let (X, T, E) be a [[soft topological space]] over X and x, y ∈ X such that &ref(http://www.eaflux.com/imgtex/imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20x%5cneq%20y%20%5c%5d%7d%25.png);. If there exist [[soft open]] sets (F , E) and (G , E) such that x ∈ (F , E) and &ref(http://www.eaflux.com/imgtex/imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20y%5cnotin%28F%2cE%29%20%5c%5d%7d%25.png); or y ∈ (G , E) and &ref(http://www.eaflux.com/imgtex/imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20x%5cnotin%28G%2cE%29%20%5c%5d%7d%25.png);, then (X, T, E) is called a soft T_0-space.

*Reference [#o3ea48fb]
-Shabir Muhammad, Naz Munazza, ''On soft topological spaces.'' (English summary), Comput. Math. Appl. 61 (2011), no. 7, 1786-1799.