relative pseudo-complement love

relative pseudo-complement


from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun mathematics 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 , where denotes the meet operation of the given Heyting algebra.


Sorry, no etymologies found.


Help support Wordnik (and make this page ad-free) by adopting the word relative pseudo-complement.


    Sorry, no example sentences found.


Log in or sign up to get involved in the conversation. It's quick and easy.