超整数
超実数 x が超整数であるとは、 x = ∗ ⌊ x ⌋ {\displaystyle x={}^{*}\lfloor x\rfloor } を満たすときに言う。
したがって、超整数全体の成す集合は、超実数全体の成す集合のこの超準的な整数部函数による像に等しい。