Encyclopedia of Mathematics/Extensions