>>496
ふつう空集合に対してはあまり定義しないと思います
あえて定めるなら-∞か0でしょうね
diamの終域をRとみなすか[0,∞)とみなすかの違い程度でしょう

ちなみに空集合の記号∅はφと似ていますが別の記号です
知ってる上で入力が面倒くさいから使っただけかもしれませんが念のため