relative pseudo-complements

A form of relative pseudo-complement — 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.

Meanings

noun
Cite this entry
APA

relative pseudo-complements. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/relative%20pseudo-complements

MLA

“relative pseudo-complements.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/relative%20pseudo-complements. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “relative pseudo-complements,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/relative%20pseudo-complements.

Source: relative pseudo-complements on Wiktionary, CC BY-SA 4.0.