PS

族としての集合

集合としての族

 (a _ x) _ { x \in A } は、集合:

  •  \lbrace a _ x  \mid x \in A \rbrace := \lbrace y \mid {} ^ \exists x \in A, a _ x = y \rbrace

とみなすことが出来た。

族としての集合

集合  A は、族:

とみなすことが出来る。

参考文献

*1:identity function