# Discreteness is local

From Topospaces

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:

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