「上に有界」「上界」～「実数の集合」のケース

上に有界な「実数の集合」、「実数の集合」の上界についてのノートを加筆して独立化。