「下に有界」「下界」の定義：「実数の集合」のケース

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