Die leere Menge ist Teilmenge jeder Menge. Außerdem ist jede Menge Teilmenge von sich selbst. Diese zwei Teilmengen sind triviale Teilmengen.
Die Auffassung, dass jede Menge Teilmenge von sich selbst ist, ist auf den ersten Blick etwas seltsam. Deshalb wird diese Teilmenge als unechte Teilmenge bezeichnet. Alle anderen Teilmengen (in denen also tatsächlich Elemente gegenüber der ursprünglichen Menge fehlen) werden als echte Teilmengen bezeichnet.
