Die Menge der rationalen Zahlen ist eine abzählbar dichte Teilmenge der reellen Zahlen; daher istdie reelle Zahlengerade ein trennbarer topologischer Raum.
Die Menge {a, b} ist sowohl eine Teilmenge als auch eine echte Teilmenge von {a, b, c}, während die Menge {a, b, c} eine Teilmenge von {a, b, c} ist, aber keine echte Teilmenge von {a, b, c}.
