, где
– дискретная топология на множестве
.
, где
, где
– естественная топология множества
действительных чисел (открыты все интервалы и любые их объединения)
, где
,
– топология, индуцированная на
естественной топологией на