Which property of a well-founded set ensures recursion terminates?
Every non-empty subset has a minimal element
The set is ordered
The set is infinite
The set contains zero