*Definition [#q7df30ab]
-Let (X, T, E) be a [[soft topological space]] over X, (F , E) and (G , E) be [[soft closed]] sets over X such that &ref(http://www.eaflux.com/imgtex/imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20%28F%2cE%29%5ccap%28G%2cE%29=%5cemptyset%20%5c%5d%7d%25.png);. If there exist [[soft open]] sets (F_1 , E) and (F_2 , E) such that &ref(http://www.eaflux.com/imgtex/imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20%28F%2cE%29%5cwidetilde%7b%5csubset%7d%28F_1%2cE%29%20%5c%5d%7d%25.png);, &ref(http://www.eaflux.com/imgtex/imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20%28G%2cE%29%5cwidetilde%7b%5csubset%7d%28F_2%2cE%29%20%5c%5d%7d%25.png); and &ref(http://www.eaflux.com/imgtex/imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20%28F_1%2cE%29%5ccap%28F_2%2cE%29=%5cemptyset%20%5c%5d%7d%25.png);, then (X, T, E) is called a soft normal space.

*Remark [#i1af3d24]
-&ref(http://www.eaflux.com/imgtex/imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20%28F%2cE%29%5cwidetilde%7b%5csubset%7d%28G%2cE%29%20%5c%5d%7d%25.png); : (F , E) is a [[soft subset]] of (G , E).

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