전단사함수,bijective_function

정의: 전사함수,surjective_function이고 단사함수,injective_function이면 전단사함수임.