2. (n.) The act of draining out or draining off; the act of emptying completely of the contents.
3. (n.) An ancient geometrical method in which an exhaustive process was employed. It was nearly equivalent to the modern method of limits.