f의 정의역이 X가 아닌 X의 부분집합일 수는 없는거징?