함수를 원소로 갖는 집합을 공역으로 하는 함수가 있대