Discreteness is local

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.