「写像って？」「関数？」「合成写像って？」【論理と集合シリーズ】写像編 まとめ①