# A new easy theorem about pointfree funcoids

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

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