Compatible forcing conditions
= Compatible forcing conditions
Two forcing conditions are compatible when they have a common stronger extension. In standard notation this means that some $r$ satisfies $r\leq p,q$; in <Jerusalem notation for forcing> it means that some $r$ satisfies $p,q\leq r$.