Вложение
Вложение (или включение) — специального вида отображение одного экземпляра некоторой математической структуры во второй экземпляр такого же типа. 
А именно, вложение некоторого объекта formula_1 в formula_2 задаётся инъективным отображением, сохраняющим некоторую структуру. 
Что означает «сохранение структуры», зависит от типа математической структуры, объектами которой являются formula_1 и formula_2. 
В терминах теории категорий отображение, «сохраняющее структуру», называют морфизмом.

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

Для заданных formula_1 и formula_2 может быть несколько возможных вложений. Во многих случаях существует стандартное (или «каноническое») вложение — например, вложения натуральных чисел в целые, целых в рациональные, рациональных в вещественные, а вещественных в комплексные. 
В таких случаях обычно задают область определения formula_1 с образом formula_10, такую что formula_11.
Q11348
отображение
Concept
Q748349
математической структуры
Concept
Q182003
инъективным
Concept
Q217413
теории категорий
Concept
Q217413
морфизм
Concept
Q21199
натуральных чисел
Concept
Q12503
целых
Concept
Q1244890
рациональных
Concept
Q12916
вещественных
Concept
Q11567
комплексные
Concept
Q192439
область определения
Concept
Q980509
Вложение
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+5^^http://www.w3.org/2001/XMLSchema#decimal
5
NUMBER
+6^^http://www.w3.org/2001/XMLSchema#decimal
6
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+10^^http://www.w3.org/2001/XMLSchema#decimal
10
NUMBER
+11^^http://www.w3.org/2001/XMLSchema#decimal
11
NUMBER
subclass of
studies
studies