Ambil sebarang
(Berdasarkan definisi)
Ambil sembarang
i. Jika x = y maka d (x,y) = 0 = f (y,x)
Sehingga d(x,y) = d(y,x)
ii. Jika
Sehingga f(x,y) = f(y,x)
Ambil sebarang
i. Jika
Sehingga
6. Soal no 19
d ( x, y )=0 jika x= y
d ( x , y )=1 jika x≠ y
sehingga d ( x , y )=d ( y , x )
sehingga d ( x , y )=d ( y , x )
∴(∀ x , y ∈ X )⇒ d ( x , y )=d ( y , x ) (terbukti memenuhi aksioma [M3])