区間の定義

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