inducesWellDefinedMap -- whether a map is well defined

Description

inducesWellDefinedMap(M,N,f) -- tells whether the matrix f would induce a well defined map from N to M.