subduction

noun5

1. •
   The action of being pushed or drawn beneath another object.
2. •
   The process of one tectonic plate moving beneath another and sinking into the mantle at a convergent plate boundary.

   • Therefore, both a mantle plume and also the subductions of the oceanic plates may have mutually contributed to create the magmatic zone. — 2000
3. •
   The act of subducting or taking away.
4. •
   Arithmetical subtraction.
5. •
   A surjection between diffeological spaces such that the target is identified as the pushforward of the source.

   • Accordingly, a diffeological principal S¹-bundle over a diffeological space X is a subduction π : P → X and a smooth map τ satisfying the same conditions; see [30] for a thorough discussion. — 2012