In computer science, specifically in algorithms related to pathfinding, a heuristic [Heuristic] function is said to be admissible if it never overestimates the cost of reaching the goal, i.e. the cost it estimates to reach the goal is not higher than the lowest possible cost from the current point in the path.

(“Admissible Heuristic” 2022)

See also Consistent heuristic.