(algorithm) A property of a computation which may have more than one result.
Last updated: 1995-04-13