結果 : relation function in math definition