verb
present participle and gerund of weaken
noun
An instance or process of loss of strength.
(uncountable, mathematics) A structural principle of mathematical logic that states that the hypotheses of any derived fact may be freely extended with additional assumptions.