二分探索アルゴリズムのシーケンスに対する仮定を「区分化」に更新

各アルゴリズム個別の解説ではすでに C++11 以降の「区分化」で要求が記述
されているので、ここも統一。
「ソートされている」の定義について、細かな記述の統一
「区分化されている」と「ソートされている」との関係について説明を追加

二分探索はソートされたシーケンスについて使用することが多いけど、
C++11 以降の関連アルゴリズムの要件は「区分化」となっていて、一見すると
ソートされたシーケンスに対して使っていいのかわからない感じだったので。
set::lower_bound() が返すイテレータについて記述間違いを修正

× `<=` 演算が成り立たない最初の要素を指すイテレータ
○ `<` 演算が成り立たない最初の要素を指すイテレータ

修正前の記述だと upper_bound() と同じになってしまう。
二分探索アルゴリズム equal_range() の要件を修正

２つの式による区分化の要件について、規格原文では２つの式を "and" で
つないでまとめて記述していたが、これに対応する記述が "&&" で式をつないだ
ものに（１つの式による区分化の要件に）なって意味が変わってしまっていた。