範囲内のすべての要素が条件を満たしているか判定するアルゴリズムはどれか。

範囲内の要素が特定の順序（昇順など）になっているかを確認するアルゴリズムはどれか。