This is LaTeX code:

[latex]
 
~S\_je\_skup\_t.d. ~S \neq \emptyset~, ~d:S \times S \rightarrow R \\
(M1)~ ~d(A,B) \geq 0 ~ ~ \forall A,B \in S \\
(M2)~ ~ d(A,B)=0 \Leftrightarrow A=B \\
(M3)~ ~ d(A,B)=d(B,A) ~ ~ \forall A,B \in S \\
(M4)~ ~ d(A,C) \leq d(A,B)+d(B,C) ~ ~ \forall A,B,C \in S
 
[/latex]