示すのは
A in non-empty　⇒　d(A) is a non-negative extended real number
d(A) = -∞　⇔　A is empty
A is bounded　⇒　A is non-empty
の３つだと思う。（そうじゃないと話が通じないだろう。）