relative pseudo-complement
relative pseudo-complement noun: the residual operation of a Heyting algebra when considered as a residuated lattice whose monoid operation is the meet operation. Equivalently, the relative pseudo-complement of a with respect to b is the supremum of the set of all z such that z∧a⩽b, where ∧ denotes the meet operation of the given Heyting algebra.
Noun
relative pseudo-complement (plural relative pseudo-complements)
- The residual operation of a Heyting algebra when considered as a residuated lattice whose monoid operation is the meet operation. Equivalently, the relative pseudo-complement of a with respect to b is the supremum of the set of all z such that z∧a⩽b, where ∧ denotes the meet operation of the given Heyting algebra.
Forms of relative pseudo-complement
| plural | relative pseudo-complements |
|---|
Questions about relative pseudo-complement
- What does relative pseudo-complement mean?
- Relative pseudo-complement means the residual operation of a Heyting algebra when considered as a residuated lattice whose monoid operation is the meet operation. Equivalently, the relative pseudo-complement of a with respect to b is the supremum of the set of all z such that z∧a⩽b, where ∧ denotes the meet operation of the given Heyting algebra.
- What part of speech is relative pseudo-complement?
- Relative pseudo-complement is a noun.
- What is the plural of relative pseudo-complement?
- The plural of relative pseudo-complement is relative pseudo-complements.
Words near relative pseudo-complement in the dictionary
Source and license
Adapted from Wiktionary: relative pseudo-complement (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “relative pseudo-complement.” Word.ws, https://word.ws/relative_pseudo-complement. Based on Wiktionary, CC BY-SA 4.0.