Итоги голосования для комментария:
DarkArchon Правило должно быть конструктивной функцией. Т.е. оно должно иметь область определения А (все возможные ситуации, в которых мы применяем правило), область значения Б (все возможные ситуации, которые являются последствием применения правила), и самое главное — есть алгоритм, который на входе имеет А, на выходе через счетное количество шагов дает элемент из Б. Если правило недетерминировано, то есть использует вероятности, то элементы А должны быть случайными величинами, и каждому возможному результату Б должна быть поставлена в соответствие вероятность — опять-таки вычисляемая.
Многозначные функции без четкого механизма выбора или назначения вероятности, или функции с точками, в которых они не определены и функция на это четко не указана, или функции без алгоритма выбора — это «плохие» для выбранных нами целей функции.
+ -