The act or process of becoming shorter.

• 变短的动作或过程。