Dense below a forcing condition

ID: dense-below-a-forcing-condition

A set is dense below when every has an extension belonging to .

New to topics? Read the docs here!