isWellDefined
isWellDefined m
-- tells whether a map m of modules is well-defined.
