 By starting with the field of rational functions, two special types of transcendental extensions (the logarithm and the exponential) can be added to the field building a tower containing elementary functions.A differential field "F" is a field "F"0 (rational functions over the rationals Q for example) together with a derivation map "u" → ∂"u".