Discreteness is local

From Topospaces
Jump to: navigation, search
This article gives a proof/explanation of the equivalence of multiple definitions for the term Discrete space (?)


View a complete list of pages giving proofs of equivalence of definitions

Statement

The following are equivalent for a topological space:

  1. The space is a discrete space.
  2. Every element of the space is contained in an open subset that is a discrete space under the subspace topology.