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