Consistency (Monotonicity) of Heuristics

A consistent heuristic never overestimates any single step, satisfying a triangle inequality that keeps A* efficient on graphs.