写像の別表現

定義域が添字集合

添字付けられた元の集まり

「「「添字集合の元」をラベルにしたもの」を元にもつ集合」のことか?

要するに\{a_1,a_2,\cdots\}な集合

定義

集合Iから集合Xへの写像A:I\rightarrow Xが与えられた時、これをXの元の集まりとみなしたものを、「Iを添字集合とするXの元の族」という