Axiome de séparation

page d'homonymie d'un projet Wikimédia

En mathématiques, l'expression axiome de séparation est utilisée de façon indépendante dans deux domaines :

  • en topologie, un axiome de séparation est une propriété caractérisant une classe d'espaces topologiques sur des critères d'existence de voisinages de points ou de fermés ;
  • en théorie des ensembles, le schéma d'axiomes de séparation rassemble des propositions logiques permettant de définir des ensembles à l'aide d'ensembles antérieurement définis et de propriétés que possèdent leurs éléments.