Definition talk:Separated by Neighborhoods

Proposal to include 'Separated by Open Sets'
I have added 'Separated by Open Sets' as an equivalent definition for 'Separated by Neighborhoods'. The proposed changes can be viewed:


 * Definition:Separated by Neighborhoods


 * Definition:Separated by Neighborhoods/Sets


 * Definition:Separated by Neighborhoods/Sets/Neighborhoods


 * Definition:Separated by Neighborhoods/Sets/Open Sets


 * Definition:Separated by Neighborhoods/Points


 * Definition:Separated by Neighborhoods/Points/Neighborhoods


 * Definition:Separated by Neighborhoods/Points/Open Sets

The existing REDIRECT pages are updated:
 * Definition:Points Separated by Neighborhoods


 * Definition:Sets Separated by Neighborhoods

Three new REDIRECT pages have been created:
 * Definition:Separated by Open Sets


 * Definition:Points Separated by Open Sets


 * Definition:Sets Separated by Open Sets

And lastly the necessary Equivalence of definitions:
 * Equivalence of Definitions of Sets Separated by Neighborhoods


 * Equivalence of Definitions of Points Separated by Neighborhoods

--Leigh.Samphier (talk) 21:19, 28 March 2020 (EDT)


 * Excellent. Feel free to go ahead and make it live. As usual, your work clarifies a lot of stuff which rarely gets a rigorous treatment in the literature. --prime mover (talk) 02:15, 29 March 2020 (EDT)