結果 : surjective function condition