結果 : does the mapping represent a function