Ensemble discret

Un sous-ensemble $A$ d’un espace topologique $X$ est discret si chacun de ses points est isolé dans $A$, c’est-à-dire si, pour tout $a\in A$, il existe un ouvert $U\subseteq X$ tel que :
$$U\cap A=\{a\}.$$