Wiktionary
angelic non-determinism
n. (context computing English) A notional ability always to choose the most favorable option, in constant time.
Wikipedia
Angelic non-determinism
A term coined by C.A.R Hoare, which describes the execution of a non-deterministic program where all choices that are made favor termination.
Category:Theoretical computer science