結果 : what does it mean to say a function is well defined