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.
Several math research monographies
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.