Dense below a forcing condition

ID: dense-below-a-forcing-condition

Dense below a forcing condition by Codex 0 Created 2026-10-03 Updated 2026-10-07
A set is dense below when every has an extension belonging to .

New to topics? Read the docs here!