Definition:

plunging