「集合論」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
52 行
=== 写像の合成と逆写像 ===
写像<math>f:X \to Y</math>と<math>g:Y \to Z</math>があ
写像<math>f:X \to Y</math>と<math>g:Y \to X</math>があって、<math>g \circ f =id_X</math>かつ<math>f \circ g =id_Y</math>を満たすとき、gはfの逆写像であるといい、<math>f^{-1}</math>と書く。
| |||