Eine Teilmenge heißt echt, wenn sie nicht leer und nicht identisch mit ihrer Grundmenge ist.
\(T \subset M\)
Beispiel:
Die graden Zahlen bilden eine echte Teilmenge der natürlichen Zahlen.
\( \mathbb{G} \subset \mathbb{N} \)
Teilmengen, die auch identisch zu ihrer Grundmenge sein können, werden gekennzeichnet durch:
\( T \subseteq M \)
Diese werden allgemein als Teilmenge angesprochen. Denn es gilt:
\(M \subseteq M\)