超整数
標準整数部分 ⌊ x ⌋ {\textstyle \lfloor x\rfloor } は任意の実数 x に対し x を超えない最大の整数に等しいものと定義されるものであった。これに超準解析における移行原理(英語版)を適用すれば、その自然延長として超準整数部函数
が任意の超実数 x に対して定義できる。