Definition:Pool of Assumptions

The pool of assumptions, for a formula deduced in a particular proof by natural deduction, is the collection of all the assumptions upon which the formula depends.

The assumptions in this pool are called, naturally enough, the pooled assumptions.