f X→Y 가 X에서 연속이라는건 Y의 모든 오픈섭셋V에 대해서

f역함수(V)가 X에서 open이라는 건데

역함수가 존재하려면 바이젝티브 해야하지않음? 집합만 생각하는거라서 상관없나?