Indiscernabilité topologique
# Indiscernabilité topologique

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

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

