non-negativity or separation axiom2.{\displaystyle d(x,y)=0\Leftrigh
symmetry4.{\displays