体系的状态确定之后，其每一个状态函数都具有单一确定的值。