Talk:Image of Domain of Mapping is Image Set

From ProofWiki
Jump to navigation Jump to search

1974: Thomas W. Hungerford: Algebra uses this to define $\operatorname{Im}(f)$. Any thoughts on how to address this? I presume an approach similar to that for Definition:Normal Subgroup can be taken? — Lord_Farin (talk) 11:29, 5 April 2014 (UTC)

Looks like it ... we'd set up two definitions for "image of mapping", I suppose. Lots of messy re-redirection of links to citations. :-( --prime mover (talk) 12:52, 5 April 2014 (UTC)

The definitions are in place. Will we:

  1. rename this to "Equivalence ..." and keep a redirect;
  2. redirect "Equiv" here;
  3. keep "Equiv" a separate, one-line proof linking here;

I lean towards 3. In the mean time, I'll try to get started on working out the source review. — Lord_Farin (talk) 17:17, 8 April 2014 (UTC)