Sigma-centered forcing
ID: sigma-centered-forcing
A forcing order is sigma-centered when it is the union of countably many centered subsets. Every sigma-centered forcing has the countable chain condition for forcing.
New to topics? Read the docs here!