Describir: Residuation theory