Definition:Brouwerian Lattice

Definition
Let $(L, \wedge, \vee, \preceq)$ be a lattice.

Then $(L, \wedge, \vee, \preceq)$ is a Brouwerian lattice or a relatively pseudocomplemented lattice iff
 * For each $x,y \in L$: $x$ has a relative pseudocomplement with respect to $y$.

This pseudocomplement is denoted $x \to y$.