Tanım: (X,d1) ve (X,d2) metrik uzaylar olmak üzere
d1D∼d2
:⇔
(∀ϵ>0)(∃δ1,δ2>0)(∀x,y∈X)[(d1(x,y)<δ1⇒d2(x,y)<ϵ)∧(d2(x,y)<δ2⇒d1(x,y)<ϵ)]
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
d1D≁d2
:⇔
(∃ϵ>0)(∀δ1,δ2>0)(∃x,y∈X)[(d1(x,y)<δ1∧d2(x,y)≥ϵ)∨(d2(x,y)<δ2∧d1(x,y)≥ϵ)]…(⋆)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
ϵ=32 olmak üzere her δ>0 için x:=δ∈[0,∞), y:=δ2∈[0,∞) alınırsa;
d1(x,y):=|x−y|=|δ−δ2|=δ2<δ ve
d2(x,y):=|11+x2−11+y2|=|x2−y2(1+x2)(1+y2)|<|x2−y24xy|<|x2−y2xy|=|δ2−(δ2)2δ⋅δ2|=32≥32=ϵ
koşulları sağlanır. O halde (⋆) önermesi doğru yani d1 ve d2 metrikleri düzgün denk değildir.