Множество рациональных чисел является счетным плотным подмножеством вещественных чисел; следовательно, вещественная прямая является сепарабельным топологическим пространством.
Множество {a, b} является как подмножеством, так и собственным подмножеством {a, b, c}, в то время как множество {a, b, c} является подмножеством {a, b, c}, но не является собственным подмножеством {a, b, c}.
