如下排中律：α={x(t)|x(t)具有性质p},β={x(t)|x(t)不具有性质p},则α∩β=ø且α∪β=u.那么〈x>={x(t)|n≤t<n+1,n∈Ω}叫做一个超实数，并定义其四则运算及序关系如下：由上可证得超实数的各种基本性质，如三分律、结构定理（即有限数β=α+ε，记α=st[β])、等和原理……等。其他部分与非标准分析原模型基本一致。
参考文献.具体参见徐利治的《微积分大意》及鲁滨逊的《非标准分析》。