Definition:Relative Pseudocomplement
Jump to navigation
Jump to search
Definition
Let $\struct {L, \wedge, \vee, \preceq}$ be a lattice.
Let $x, y \in L$.
Then the relative pseudocomplement of $x$ with respect to $y$ is the greatest element $z \in L$ such that $x \wedge z \preceq y$, if such an element exists.
The relative pseudocomplement of $x$ with respect to $y$ is denoted $x \to y$.
Sources
- This article incorporates material from Brouwerian lattice on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.