What is the definition of a transcendental extension of a field <i>F</i>?