Talk:Subspace of Subspace is Subspace

"Ambient space" is just a word to describe the result, much like "depend".


 * Still needs to be defined. As it stands, the title is too far different from the exposition for a novice to be able to make sense of it. --prime mover (talk) 16:59, 30 August 2017 (EDT)


 * Maybe. If we change the title, I'd certainly use "topology" and "depend". What about "Subspace Topology does not depend on Superset"? --barto (talk) 17:22, 30 August 2017 (EDT)


 * Moving a bit off-topic: Any attempt to define "ambient space" will probably result in a disambiguation with about 20 links to pages that are informal explanations rather than definitions. --barto (talk) 17:22, 30 August 2017 (EDT)


 * There exist the following options:


 * a) Rewrite the title so as not to use the term "ambient space".


 * b) Define the concept "ambient space". (It's a concept, it is not defined on, and if it is going to be used, it needs to be defined.) If it results in a "disambiguation with about 20 links to pages ..." that means either:
 * it cannot be defined accurately and precisely, and so it is not a mathematical term and so we don't use the word here
 * or:
 * it needs someone with better explanatory skill to define it.


 * What we do not do is leave technical terms undefined. --prime mover (talk) 18:25, 30 August 2017 (EDT)

As you can see this is not covered by Topological Subspace is Topological Space. --barto (talk) 16:52, 30 August 2017 (EDT)


 * No, not specifically, but there do exist a number of results that do the same sort of job. I believe they may cover it. --prime mover (talk) 16:59, 30 August 2017 (EDT)