Yes. Let $C \subseteq B$ be as in your remark. The map $\pi = id : B \to C$ is a projection. The restriction of $\pi$ to $P$ maps a dense subset of $B$ onto a dense subset $Q \subseteq C$, it is a projection, and $|Q| \leq |P|$.
Monroe Eskew
- 20.9k
- 5
- 60
- 129