Binary search works on any space with a yes/no question that partitions it.
Define .
Pick .
Check condition at .
Narrow to or .
Repeat until one element.
: Each step halves the space. After steps: elements. When , .
Requires monotonic property: condition true on one side, false on the other.