text: Отображение топологических пространств f : X → Y {\displaystyle f:X\to Y} называется вложением X {\displaystyle X} в Y {\displaystyle Y} , если f : X → f ( X ) ⊂ Y {\displaystyle f:X\to f(X)\subset Y} — гомеоморфизм (на f ( X ) {\displaystyle f(X)} рассматривается топология, индуцированная с Y {\displaystyle Y} ).