区間の定義
実数の特別な部分集合である区間という概念を定義します。