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:


 * Leigh.Samphier/Sandbox/Definition:Separated by Neighborhoods


 * Leigh.Samphier/Sandbox/Definition:Separated by Neighborhoods/Sets


 * Leigh.Samphier/Sandbox/Definition:Separated by Neighborhoods/Sets/Neighborhoods


 * Leigh.Samphier/Sandbox/Definition:Separated by Neighborhoods/Sets/Open Sets


 * Leigh.Samphier/Sandbox/Definition:Separated by Neighborhoods/Points


 * Leigh.Samphier/Sandbox/Definition:Separated by Neighborhoods/Points/Neighborhoods


 * Leigh.Samphier/Sandbox/Definition:Separated by Neighborhoods/Points/Open Sets

The existing REDIRECT pages are updated:
 * Leigh.Samphier/Sandbox/Definition:Points Separated by Neighborhoods


 * Leigh.Samphier/Sandbox/Definition:Sets Separated by Neighborhoods

Three new REDIRECT pages have been created:
 * Leigh.Samphier/Sandbox/Definition:Separated by Open Sets


 * Leigh.Samphier/Sandbox/Definition:Points Separated by Open Sets


 * Leigh.Samphier/Sandbox/Definition:Sets Separated by Open Sets

And lastly the necessary Equivalence of definitions:
 * Leigh.Samphier/Sandbox/Equivalence of Definitions of Sets Separated by Neighborhoods


 * Leigh.Samphier/Sandbox/Equivalence of Definitions of Points Separated by Neighborhoods

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