「定義域？終域？順像？逆像？」「写像が等しいって？」【論理と集合シリーズ】写像編 その４ https://for-spring.com/foundation/map-4/