 Closed forcing

A forcing order is $\kappa$-closed when every decreasing sequence of conditions of length below $\kappa$ has a lower bound. Countably closed forcing adds no new countable sequences of ground-model elements and in particular adds no new real numbers.