The modules M and N should be subquotient modules of the same free module
See also map and isWellDefined.