Residuated mapping (source code)

= Residuated mapping
{wiki=Residuated_mapping}