Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung. Ein Element x ∈ L {\displaystyle {}x\in L} heißt separabel, wenn x {\displaystyle {}x} algebraisch über K {\displaystyle {}K} ist, und sein Minimalpolynom separabel ist.
