## Definitions

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

- noun
*mathematics*Theresidual operation of aHeyting algebra when considered as a residuated lattice whosemonoid operation is themeet operation. Equivalently, the relative pseudo-complement of a with respect to b is thesupremum of the set of all z such that , where denotes the meet operation of the given Heyting algebra.

## Etymologies

Sorry, no etymologies found.

## Examples

Sorry, no example sentences found.

## Comments

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