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.