Residuation
Übersetzung von "residuation" ins Russisch
residuation
SubstantivUK
/ˌrɛzɪdʒʊˈeɪʃən/
US
/ˌrɛzɪdʒuˈeɪʃən/
residuation
residuations Pl.
The residuation of the chemical process was carefully analyzed.
Остаток химического процесса был тщательно проанализирован.
The residuation at the bottom of the container was difficult to remove.
Осадок на дне контейнера было трудно удалить.
Definitionen
residuation
SubstantivUK
/ˌrɛzɪdʒʊˈeɪʃən/
US
/ˌrɛzɪdʒuˈeɪʃən/
The 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.