Glossary: Data Structures and Algorithms in JavaScript

Invariant

A statement that stays true throughout a loop. In lowerBound, the answer is always between low and high.