Forcing atom
= Forcing atom
= Atom of a forcing order
{synonym}
A condition is an atom if every two stronger conditions are <compatible forcing conditions>. This is a compatibility definition, not necessarily minimality in an arbitrary <partial order>. An <atomless forcing order> is one in which every condition has two incompatible strengthenings.