Residuation
Translation of "residuation" into Russian
Definitions
residuation
NounThe act or process of settling or resolving a residue or remainder.
The residuation of the estate was completed after all debts and taxes were paid.
In mathematics, especially order theory and algebra, the process of deriving the residual (left or right adjoint) of an order-preserving operation or of determining the greatest element x such that ax ≤ b.
In a residuated lattice, residuation provides the implication operation corresponding to the monoidal product.