>>820
超準解析の一つのモデルとして、N→Nへの写像と超実数を同一視するというものがあるんですよ

これを使うとこういう風に表せますね