Let $\mathfrak{A}$ is a poset. For $a, b \in \mathfrak{A}$ we will denote $a \curlyvee b$ if only if there is a non-least element $c$ such that $c \leqslant a \wedge c \leqslant b$.
Let $\mathfrak{A}$ and $\mathfrak{B}$ are posets. A pointfree funcoid from $\mathfrak{A}$ to $\mathfrak{B}$ is a pair $\left( \alpha ; \beta \right)$ of functions $\alpha \in \mathfrak{B}^{\mathfrak{A}}$ and $\beta \in \mathfrak{A}^{\mathfrak{B}}$ such that $\alpha \left( x \right) \curlyvee y \Leftrightarrow \beta \left( y \right) \curlyvee x$ for every $x \in \mathfrak{A}$, $y \in \mathfrak{B}$.
I denote $\left\langle \left( \alpha ; \beta \right) \right\rangle = \alpha$ for every pointfree funcoid $\left( \alpha ; \beta \right)$.
Conjecture There exist a pointfree funcoid $f$ such that $\langle f \rangle$ is not an increasing function.
