写像

写像：

集合の各元に対して、集合の元を１つ対応させる方法

写像の合成（積）：

のとき

結合律：

のとき


     

のによる像：

逆写像：

に対する

逆像：

として