An D548: Ordered pair $M = (X, d)$ is an empty metric space if and only if

(1)	$X = \emptyset$ (D13: Empty set)
(2)	$d$ is an D219: Empty map