超実数は、ℕ → Bool、ℕ → ℚ 、ℕ → ℝ でも良い

さらに、ℕ の代わりに任意の無限集合を持ってくることもできる。選択公理を仮定してるので、その無限集合は順序づけられてる。まぁ、ℕ でよい

その辺りで「H桁目」みたいな混乱が出てきたんじゃないかなと想像するけどね