需要有因为 在子模型和大模型里的运算一致。在一元运算的情况下也是类似的；但也要注意零元运算，其给出一"常数"元素。这里的重点在于其封闭性，表示其常数必须于子结构内。微分几何中有多种不同的的内含映射，例如子流形的嵌入；由此可导出某些反变对象（例如微分形式）的「限制映射」，其方向恰好相反。在代数几何中的内含映射则稍复杂，此时不仅须考虑底层拓扑空间的映射，也须考虑结构层的同态，例如以下两个交换环谱的包含映射尽管拓扑上一致，却是不同的映射；其中 是交换环而 是其理想。