写像

1.

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