Sigma-centered forcing (source code)

= Sigma-centered forcing
{title2=$\sigma$-centered forcing}

A forcing order is sigma-centered when it is the union of countably many <centered subset of a forcing order>[centered subsets]. Every sigma-centered forcing has the <countable chain condition for forcing>.