A force acting on a body in the direction of its motion.
An endeavor.
The work involved in performing an activity; exertion.
To make an effort.
The action of being pushed or drawn beneath another object.
The process of one tectonic plate moving beneath another and sinking into the mantle at a convergent plate boundary.
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.