Eine Menge ist eine echte Teilmenge einer Menge , wenn jedes Element von auch ein Element von ist und von verschieden ist, also mindestens ein Element in existiert, das nicht in liegt: In Worten: echt enthalten in Siehe auch Teilmenge