Gelen matematik , daha kesin olarak topoloji , bir ayrık grubu a, bir alt kümesi , bir ait topolojik alan üzerinde uyarılan topolojisi olan ayrık topolojisi .
Bir alt D topolojik boşluk, E tüm ise ayrık x ve D , bir vardır mahalle arasında x içinde E bir başka eleman ihtiva eden , D daha x .
Bu kavram, örneğin, kombinasyonel optimizasyonda , doğal tamsayılar kümesi ile "esasen aynı yapıya sahip" olan sonlu kümeleri veya kümeleri , yani onunla kesişen kümeleri belirlemek için kullanılır. .