「逆写像って？」【論理と集合シリーズ】写像編 その9 https://for-spring.com/foundation/map-9/