inducesWellDefinedMap -- whether a map is well defined
inducesWellDefinedMap(M,N,f) -- tells whether the matrix f would
induce a well defined map from N to M.
See also:
Class of returned value: Boolean -- the class of Boolean valuesWays to use inducesWellDefinedMap :