什麼是包含對映

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

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

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