結果 : does the relation represent a function