\begin{definition}[Definition:Brouwerian Lattice]
Let $\left({L, \wedge, \vee, \preceq}\right)$ be a lattice.
Then $\left({L, \wedge, \vee, \preceq}\right)$ is a '''Brouwerian lattice''' {{iff}}:
:for each $x, y \in L$: $x$ has a relative pseudocomplement with respect to $y$.
This pseudocomplement is denoted $x \to y$.
\end{definition}