1 problem

Let $\mathfrak{A}$ and $\mathfrak{B}$ be Heyting algebras such that $\mathfrak{A}\preccurlyeq\mathfrak{B}$. Let $a\in|\mathfrak{A}|$, and let $(a,a^{\ast})$ be an $\mathcal{E}$-pai…