Es sei K {\displaystyle {}K} ein Körper. Eine Körpererweiterung K ⊆ L {\displaystyle {}K\subseteq L} heißt algebraischer Abschluss von K {\displaystyle {}K} , wenn die Erweiterung algebraisch und L {\displaystyle {}L} algebraisch abgeschlossen ist.
