Встраивание

Вложение – это отображение между множествами, сохраняющее определенные свойства.
В геометрии, вложение – это плавное отображение, сохраняющее длину кривых.
В алгебраической категории, вложение между алгебраическими структурами является инъективным морфизмом.
В теории поля, вложение поля в поле является кольцевым гомоморфизмом с ядром, являющимся идеалом поля.
В универсальной алгебре и теории моделей, отображение является точным вложением, если выполняются определенные условия.
В теории порядка и теории предметной области, вложение частично упорядоченных множеств и метрических пространств определяется по-разному.
В теории категорий, определение вложения не является общепринятым и зависит от конкретной категории.

Полный текст статьи:

Встраивание — Википедия