Universal Teichmüller space is defined to be the space of real analytic quasiconformal mappings of the unit disc D, or equivalently the upper half-plane H, onto itself, with two mappings considered to be equivalent if on the boundary one is obtained from the other by composition with a Möbius transformation.