Ein Körper K {\displaystyle {}K} heißt vollkommen, wenn jedes irreduzible Polynom P ∈ K [ X ] {\displaystyle {}P\in K[X]} separabel ist.
![{\displaystyle {}P\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4692e3ffcbd66e900f8975113ff3f32f1cabc21a)