h(n) bernilai nol

untuk semua node.

h(n) adalah nilai

sebenarnya dari biaya menuju tujuan.

h(n) memenuhi kondisi

h(n) ≤ c(n, a, n') + h(n').

h(n) selalu lebih

besar dari biaya sebenarnya.

h(n) tidak pernah

melebihbiayakan biaya untuk mencapai tujuan.