で与えられる数のことである。