超現実数

数学における超現実数（ちょうげんじつすう、英: surreal number）の体系は、全順序付けられた真のクラスとして実数のみならず（任意の正実数よりも絶対値が大きい）無限大および（任意の正実数よりも絶対値が小さい）無限小まで含む。超現実数の体系は、四則演算（加減乗除）など実数が持つ多くの性質を共有しており、順序体を成す超現実数をフォンノイマン–ベルナイス–ゲーデル集合論 (NBG) において定式化するならば、超現実数体は（有理数体、実数体、有理函数体、レヴィ゠チヴィタ体、準超実数体、超実数体などを含む）すべての順序体をその部分体として実現できるという意味で普遍的な順序体となる。