In matematica , più precisamente in topologia , un insieme discreto è un sottoinsieme di uno spazio topologico in cui la topologia indotta è la topologia discreta .
Un sottoinsieme D di uno spazio topologico E è discreto se per ogni x di D esiste un intorno di x in E che non contiene altro elemento di D che x .
Questa nozione è usata ad esempio nell'ottimizzazione combinatoria per designare insiemi finiti o insiemi che hanno "essenzialmente la stessa natura" dell'insieme di interi naturali , cioè gli insiemi che sono in biiezione con esso. .