# Talk:Image of Domain of Mapping is Image Set

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:

- rename this to "Equivalence ..." and keep a redirect;
- redirect "Equiv" here;
- 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)