Wat is algebraïsch gesloten lichaam?

Een lichaam $\Omega$ heet algebraïsch gesloten als elke niet-constante veelterm van $\Omega[X]$ een wortel in $\Omega$ heeft (en er dus in uiteenvalt). Een algebraïsche afsluiting van $K$ is een algebraïsche uitbreiding $\bar K/K$ met $\bar K$ algebraïsch gesloten.