結果 : which relation is also a function