「写像ってどんなの？」〜写像の例〜【論理と集合シリーズ】写像編 その２ https://for-spring.com/foundation/map-2/