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