A property of a computation which may have more than one result.

One way to implement a nondeterministic algorithm is using backtracking, another is to explore (all) possible solutions in parallel.