1. Qui peut se séparer.
C'est une erreur de prétendre que l'utile soit séparable de l'honnête.
2. (Topologie) (Se dit d'un espace topologique) Qui admet une partie finie ou dénombrable dense.
L'ensemble ? des nombres réels muni de la topologie usuelle est séparable puisque l'ensemble ? des nombres rationnels, qui est dénombrable, est un sous-ensemble de ? dense dans ?.
3. Une extension algébrique L d'un corps K est dite séparable si le polynôme minimal de tout élément de L n'admet que des racines simples (dans une clôture algébrique de K). On démontre l'équivalence de cette définition avec la définition suivante : une extension finie est séparable si et seulement si le nombre de morphismes de l'extension dans la clôture algébrique laissant invariant le corps de base est égal au degré de l'extension.
4. En mathématiques, et plus spécifiquement en algèbre, une extension L d'un corps K est dite séparable si elle est algébrique et si le polynôme minimal de tout élément de L n'admet que des racines simples (dans une clôture algébrique de K).
5. Susceptible d'être divisé ou dissocié.
6. (En topologie) Qualifie un espace topologique possédant un sous-ensemble dense fini ou dénombrable.
