⇒#4676

写像

ある集合に対して別の集合を対応させる規則が定義されているとき、それを写像といいます。 全射、単射、全単射、合成写像、包含写像、恒等写像などの概念が導入されます。