Qu'est-ce que « corps algébriquement clos » ?

Un corps $K$ est algébriquement clos si tout $P \in K[X]$ non constant a une racine dans $K$ (équivalemment : se scinde en linéaires dans $K[X]$). Une clôture algébrique de $K$ est une extension algébrique algébriquement close de $K$.