from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun mathematics The
residualoperation of a Heyting algebrawhen considered as a residuated lattice whose monoidoperation is the meetoperation. Equivalently, the relative pseudo-complement of a with respect to b is the supremumof 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.