A D1104: Binary relation structure $M = (X \times Y, f)$ is a canonical empty map if and only if

(1)	$X = \emptyset$
(2)	$Y = \emptyset$