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.


    Sorry, no example sentences found.


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