Ist { } eine echte Teilmenge von { }?
Oder ist { } nur eine (unechte) Teilmenge von { }, da sie ja identisch sind?
2 Antworten
![](https://images.gutefrage.net/media/user/Deathlag/1616194654988_nmmslarge__0_0_500_500_77a0f43d5804c908f40c8a1b0c260400.jpg?v=1616194655000)
Eine Menge A heißt echte Teilmenge von der Menge B, wenn A eine Teilmenge von B ist und die beiden Mengen ungleich sind.
Damit { } eine echte Teilmenge von { } wäre, müsste { } eine Teilmenge von { } sein (Wahr) und beide Mengen ungleich sein (Falsch).
Deshalb ist { } eine unechte Teilmenge von {}.
![](https://images.gutefrage.net/media/user/TBDRM/1655402433211_nmmslarge__0_666_1080_1080_f7eefb8f128db0f4b803b786d906b453.jpg?v=1655402433000)
Unechte Teilmenge.
Sie könnte nur eine echte Teilmenge sein, wenn sie in Vereinigung einer anderen echten Teilmenge { } ergeben würde (und das ist nicht einmal hinreichend). Sie kann aber nur vereinigt mit sich selbst, sich selbst sein.
Anders gesagt:
Eine echte Teilmenge unterscheidet sich von ihrer Grundmenge, sonst wäre es keine echte Teilmenge. Und Mengen unterscheiden sich durch ihre Elemente! Da { } die gleichen Elemente wie { } hat, ist { } keine echte (also eine unechte) Teilmenge von { }.
Wegen der Definition "Mengen unterscheiden sich durch ihre Elemente." heißt es auch "die leere Menge" und nicht "eine leere Menge".
Nope