exhaustion

(Mot repris de exhaustions)

EXHAUSTION

(è-gzô-stion) s. f.
Terme didactique. Action d'épuiser.
Pompe d'exhaustion, pompe placée sur quelques navires à vapeur pour enlever du fond de la chaudière une certaine portion d'eau sursaturée soit de sel marin, soit de toute autre matière tenue en dissolution [LEGOARANT, ]
Fig. Terme de logique. Action d'épuiser tous les cas possibles dans une question.
L'induction est impossible, car elle suppose l'exhaustion de tous les singuliers [DIDEROT, Opin. des anc. philos. (Pyrrhoniens).]
Terme de mathématique. Méthode d'exhaustion, manière de prouver que deux grandeurs sont égales, en montrant que la différence en est plus petite que toute quantité donnée.

ÉTYMOLOGIE

  • Lat. exhaustionem, épuisement, de ex, et haurire, puiser.