結果 : relation and function equation