Let $\emptyset$ be the D13: Empty set.
A D548: Ordered pair $T = (X, \mathcal{T})$ is an empty topological space if and only if

(1)	$X = \emptyset$
(2)	$\mathcal{T} = \{ \emptyset \}$