In computer science, angelic non-determinism is a term which describes the execution of a non-deterministic program where all choices are made in favour of non-termination.