Aber natürlich. Einmal hatten wir ja schon gezeigt, dass die leere Menge Teilmenge jeder Menge ist, also insbesondere auch der leeren Menge selbst. Zweimal gilt ohnehin für jede Menge A⊆A (könnt ihr das beweisen?). Schließlich muss die leere Menge auch mindestens eine Teilmenge haben, denn es gilt |℘(∅)|= 2^|∅| = 2⁰ = 1.