The process of one tectonic plate moving beneath another and sinking into the mantle at a convergent plate boundary.
The action of being pushed or drawn beneath another object.
Arithmetical subtraction.
A surjection between diffeological spaces such that the target is identified as the pushforward of the source.
The act of subducting or taking away.