проверено
Пусть и — топологические пространства. Отображение — вложение1) топологического пространства в топологическое пространство , если — подпространство топологического пространства и — гомеоморфизм.