Closed forcing
= Closed forcing
{title2=$\kappa$-closed}
{wiki=Forcing_(mathematics)#Properties_of_forcing_notions}
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.