I'm studying the book Introduction to Set Theory by Hrbacek and Jech and came across this theorem: Specifically I'm interested in property (c); I would like to reverse the roles of $P$ and $C$ and prove the following: Proposition: For any $c, d \in C$ such that $c \prec d$, there is $p \in P$ wit...