"residuated monoid" . "residuated monoid" . . .