実数上で考えれば、有界な集合には常に上限と下限が存在する
有理数上ではその限りではない