Is there a formal definition of when an algorithm is greedy?

62 Views Asked by At

I have checked the question, Definition of a Greedy Algorithm, but there was no formal definition of a greedy algorithm. I want to know, is there a formal definition of an algorithm that is greedy? Or is this a notion which is not amenable to formalization?