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