Tanım: (X,d1),(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)<ϵ)]
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
d1≁
:\Leftrightarrow
(\exists\epsilon>0)(\forall\delta_1,\delta_2>0)(\exists x,y\in X)[(d_1(x,y)<\delta_1\wedge d_2(x,y)\geq\epsilon)\vee (d_2(x,y)<\delta_2\wedge d_1(x,y)\geq\epsilon)]\ldots (\star)
--------------------------------------
\epsilon =1 olmak üzere \delta sayısı 0 ile 1 arasında ne olursa olsun x=\left\lfloor\frac{1}{\delta}\right\rfloor\in\mathbb{N}, \,\ y=\left\lfloor\frac{1}{\delta}\right\rfloor+1\in\mathbb{N} alınırsa
d_1(x,y)=\left |\frac{1}{ \left\lfloor\frac{1}{\delta}\right\rfloor}-\frac{1}{ \left\lfloor\frac{1}{\delta}\right\rfloor +1} \right |= \ldots<\delta \wedge d_2(x,y)=1\geq 1=\epsilon yani (\star) önermesi doğru olur. O halde
d_1\overset{D}\nsim d_2.
Benzer mülahazalar \delta\geq 1 durumu için de yapılabilir.