ParentFull threadginnungagap·In set theory blackboard bold P, Q and C are very often used for arbitrary (forcing) posetsView on HN