デデキント切断

実数の最大値最小値 A={ℝ∈x|a≤x≤b} maxA=b,minA=a 非負の実数の部分集合の大小関係を集めた順序対の集合をℝ⁺≤とすると ∀x(0,x)∈ℝ⁺≤ 正の実数の任意の元は0以上の関係にあるので、その最小値は minℝ⁻=0...