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

削除された内容 追加された内容
M編集の要約なし
M編集の要約なし
63 行
<strong>4.3 </strong>
<math>A</math> は集合,<math>\mathfrak{U}</math> は <math>A</math> の類別とするとき,
<math>a \in A</math> に対して <math>a \in X</math> である <math>X \in \mathfrak{U}</math> がただ一つ定まる.
この <math>X</math> を <math>p(a)</math> とおけば <math>p</math> は <math>A</math> から <math>\mathfrak{U}</math> の上への写像となる.この <math>p</math> を類別 <math>\mathfrak{U}</math> への'''標準射影'''という.