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.

Leave a Reply