映射是定义域到值域的一种对应关系

而包含映射就是定义域和值域间是包含关系

在《数论》里面有严格定义和证明的内含映射倾向于代数结构的同态更精确地说，给定一于某些运算下封闭的子结构，其内含映射将会是一个同态，因为由其定义可得出的一当然原因。