Talk:Image of Domain of Mapping is Image Set

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? &mdash; 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. &mdash; Lord_Farin (talk) 17:17, 8 April 2014 (UTC)