i. non-negativity:-  
\(d\left(x,y\right)\ge0\)
\(\triangle\left(x,y\right)=\left|x\backslash\ y\ \right|+\left|y\backslash x\right|\)  is always greater than zero because |x| is always +ve.