设X是一个集合ρ=X×X→R，如果关于任何x,y，z∈X，有(i)ρ(x，y)≥0，并且ρ(x，y)=0，当且仅当x=y；(ii)ρ(x，y)=ρ(y，x)；(iii)ρ(x，z)≤ρ(x，y)ρ(y，z)，则称ρ是集合X的一个度量。此度量的定义方式是()。

A.公理式定义

B.外延式定义

C.属种差异式定义

D.递归式定义