Definition talk:Separated by Neighborhoods

From ProofWiki
Jump to navigation Jump to search

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)