Indiscernabilité topologique

L'indiscernabilité topologique de deux éléments ${\displaystyle x}$ et ${\displaystyle y}$ distincts (${\displaystyle x\neq y}$) d'un espace topologique décrit le fait que tous les voisinages de ${\displaystyle x}$ contiennent ${\displaystyle y}$ et que tous les voisinages de ${\displaystyle y}$ contiennent ${\displaystyle x}$.

À l'inverse, si toutes les paires ${\displaystyle (x,y)}$ d'un espace ${\displaystyle E}$ sont discernables topologiquement, on dit que ${\displaystyle E}$ est un espace de Kolmogorov.