Non determinism definition

Non determinism means that the algorithm, when faced by a choice of several options after a certain step, has the power to “guess” the right option and also to verify the correctness of the solution.