結果 : determine whether relation is a function