Si "V" es una variedad algebraica sobre "K", entonces las funciones racionales "V" → "K" forman un cuerpo, el cuerpo de funciones "V".