Nodec space: Difference between revisions
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
==Definition== | ==Definition== | ||
===Symbol-free definition=== | |||
A [[topological space]] is termed a '''nodec space''' if every [[nowhere dense subset]] in it is [[closed subset|closed]]. | A [[topological space]] is termed a '''nodec space''' if every [[nowhere dense subset]] in it is [[closed subset|closed]]. | ||
==Formalisms== | |||
{{subspace property implication}} | |||
The property of being a nodec space can be encoded as: | |||
Nowhere dense <math>\implies</math> Closed | |||
Revision as of 12:19, 18 August 2007
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces
Definition
Symbol-free definition
A topological space is termed a nodec space if every nowhere dense subset in it is closed.
Formalisms
Subspace property implication formalism
This property of topological spaces can be encoded by the fact that one subspace property implies another
The property of being a nodec space can be encoded as:
Nowhere dense Closed
