実数の定義でこういうのってありですか?
整数と
自然数全体(n>=1)から0-9の整数への写像の順序対