「写像って数学的に何？」「結局、関数と同じでは？」【論理と集合シリーズ】写像編 その３ https://for-spring.com/foundation/map-3/