전사함수,surjective_function

정의: 공역,codomain치역,range이 같은 함수.