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