Discreteness is local

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.