En
topologie et en
géométrie, la
séparation est une propriété caractérisant la possibilité de séparer de manière convenable deux parties disjointes données d'un espace topologique. La manière de séparer ces parties dépend des propriétés de cet espace et du choix des parties qu'on souhaite séparer. La séparation peut être invoquée pour obtenir un meilleur contrôle sur les objets manipulés (fonctions, sections, ...).