Admissible heuristics in A*

For A* to be guaranteed to find an optimal (shortest) path, what property must the heuristic satisfy, and what does that property mean intuitively?