monotonic predicate

RU: монотонный предикат

A boolean function f(x) that changes value at most once as x increases — either from false to true or from true to false. Binary search requires a monotonic predicate: once f(x) becomes true, it stays true for all larger x, so the boundary can be found in O(log n) steps.