weakening

noun2

1. •
   An instance or process of loss of strength.
2. •
   A structural principle of mathematical logic that states that the hypotheses of any derived fact may be freely extended with additional assumptions.