This mechanism supports also the definition of non-deterministic operations, i.e., operations that delivers more than one result for a given input.
Acest mecanism sprijină și definirea operațiilor non-deterministe, adică operații care oferă mai mult de un rezultat pentru o intrare dată.