「写像,演算」の版間の差分

削除された内容 追加された内容
M編集の要約なし
M編集の要約なし
91 行
さらに <math>f \circ g = 1_B</math> ならば <math>f</math> と <math>g</math> とは互いに他の'''逆写像'''という.
このとき <math>f</math> は <math>A</math> と <math>B</math> との間の一対一対応となる.逆に <math>f</math>
が一対一写像対応ならば <math>f</math> は逆写像 <math>g</math> を持つ.これを <math>f^{-1}</math> で表す.
 
任意の写像 <math>f:A \to B</math> に対して <math>f</math> の像を <math>X</math> とし,