Suppose $L$ is a bounded lattice and let $\Rightarrow$ be its Heyting implication, i.e. the operation defined in the standard way: $x\Rightarrow y$ is the largest object of the set $\{u\in L\mid u\cdot x\leqslant y\}$.
I have a slight problem with thinking about $x\Rightarrow y\leqslant y$ in general case. If, for example, $L$ is a Boolean algebra, then $x\Rightarrow y=-x+y$, so $$x\Rightarrow y\leqslant y\longleftrightarrow-x+y\leqslant y\longleftrightarrow-x\leqslant y$$ and this can be easily interpreted in a field of sets.
Could you please give me a hint how to think about $x\Rightarrow y\leqslant y$?