I have added the following easy to prove theorem to my general topology research book:

Theorem If $latex \mathfrak{A}$ and $latex \mathfrak{B}$ are bounded posets, then $latex \mathsf{pFCD}(\mathfrak{A}; \mathfrak{B})$ is bounded.

Leave a Reply

Your email address will not be published. Required fields are marked *