Значение слова «вложение» в Википедии

• Вложение (или включение) — специального вида отображение одного экземпляра некоторой математической структуры во второй экземпляр такого же типа.

  А именно, вложение некоторого объекта

  X

  в

  Y

  задаётся инъективным отображением, сохраняющим некоторую структуру.

  Что означает «сохранение структуры», зависит от типа математической структуры, объектами которой являются

  X

  и

  Y

  .

  В терминах теории категорий отображение, «сохраняющее структуру», называют морфизмом.

  То, что отображение

  f

  :

  X

  →

  Y

  является вложением, часто обозначают «крючковатой стрелкой» таким образом:

  f

  :

  X

  ↪

  Y

  .

  Для заданных

  X

  и

  Y

  может быть несколько возможных вложений. Во многих случаях существует стандартное (или «каноническое») вложение — например, вложения натуральных чисел в целые, целых в рациональные, рациональных в вещественные, а вещественных в комплексные.

  В таких случаях обычно задают область определения

  X

  с образом

  f

  (

  X

  )

  ⊂

  Y

  , такую что

  X

  ⊆

  Y

  .

Источник: Википедия