Surjective 랑 onto도 마찬가지고
대충 function이랑 map 같은건가?