La clausura algebraica de "K" es también el cuerpo algebraicamente cerrado más pequeño que contiene a "K", ya que si "M" es cualquier cuerpo algebraicamente cerrado que contiene a "K", entonces los elementos de "M" que son algebraicos sobre "K" forman una clausura algebraica de "K".