自然数との一対一対応を離散だとすれば
次に進むという意味は含まれてない