return to top
source
The structure of a metric space on ℕ is introduced in this file, induced from ℝ.
ℕ
ℝ