If h₁(n) ≥ h₂(n) for all nodes n, then h₁ is said to dominate h₂, and the set of nodes expanded by A* using h₁ is a subset of the set expanded when using h₂