Функция, которая каждой паре (альтернатива, состояние среды) ставит в соответствие определяемый этой функцией исход: