Definitions
1.nounThe action of being pushed or drawn beneath another object.
2.nounThe process of one tectonic plate moving beneath another and sinking into the mantle at a convergent plate boundary.
3.nounThe act of subducting or taking away.
4.nounArithmetical subtraction.
5.nounA surjection between diffeological spaces such that the target is identified as the pushforward of the source.