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