什麼是包含映射

映射是定義域到值域的一種對應關係

而包含映射就是定義域和值域間是包含關係

在《數論》裏面有嚴格定義和證明的內含映射傾向於代數結構的同態更精確地說，給定一於某些運算下封閉的子結構，其內含映射將會是一個同態，因爲由其定義可得出的一當然原因。