Man muss streng zwischen Teilmenge (notiert durch "⊂") und Element einer Menge (notiert durch "∈") unterscheiden.
Eine Menge wird charakterisiert durch ihre Elemente. Wenn ein Objekt x in einer Menge M enthalten ist, dann schreibt man x∈M, ansonsten x∉M. Die Menge A:={1,2,3,∅} enthaelt vier Elemente - drei Zahlen und eine Menge. Es gilt ∅∈A.
Man sagt, dass eine Menge M Teilmenge einer anderen Menge N ist, wenn jedes Element von M auch ein Element von N ist. Beispielsweise gilt {1,2}⊂{1,2,3}. Ebenso waere ∅⊂{1,2,3}, denn rein logisch gesehen liegt jedes Element von ∅ in {1,2,3}. Dies versteht man vielleicht besser so: Es gibt kein Element in ∅, das nicht in {1,2,3} liegt!
Nach obiger Ueberlegung ist die leere Menge Teilmenge jeder Menge. Die leere Menge ist aber keineswegs ein Element jeder Menge, z.B. ist ∅∉{1,2,3}.
Fuer die Mengen A:={1,2,3,∅} und B:= {5,6,∅} gilt A∩B={∅}. Die leere Menge ist sowohl ein Element von A als auch ein Element von B. Also ist die Schnittmenge von A und B nicht leer (sondern hier eben eine Menge mit der leeren Menge als Element).