Definition talk:Embedding (Topology)

What's the context of this? Topology, presumably? Does it have anything to do with the Embedding Theorem? I suspect not, and it's just another case where abstract algebra and topology just happen to have developed parallel definitions. --prime mover (talk) 18:00, 10 April 2009 (UTC)
 * In so many of those kinds of cases, the parallel definitions are equivalent when discussing Lie groups with manifold structure. I'm not familiar enough with the subject of Lie groups to make a guess as to any equivalency here, but I wouldn't be surprised if an embedding of a manifold into another corresponded to an embedding of the associated Lie group into the other. Zelmerszoetrop 19:31, 10 April 2009 (UTC)
 * At my rate of mathematical development, I may get as far as Lie groups in about 2020 ... --prime mover (talk) 19:46, 10 April 2009 (UTC)

Expansion template
I could understand wanting to split this into two definitions, and perhaps add a better explanation, but I don't think there's anything in the template that's not already in the definition. $f$ can only be considered a homeomorphism by restricting its codomain, as is done already. --Dfeuer (talk) 11:34, 24 January 2013 (UTC)