「直積」:各本之異
[底本] | [底本] |
刪去的內容 新增的內容
細 →定義 |
無數集合之直積 |
||
第六行:
甲(A)取一物曰乾(a),乙(B)取一物曰坤(b),合成乾坤對(記曰「(a,b)」),曰[[有序對]]。聚以成集,曰甲乙之直積(記曰「<math>A \times B =\{ (a,b) : a\in A, b\in B \}</math>」)。
若有無數集合,各取一物,曰[[族]]。聚以成集,得無數集合之直積也。見[[選擇公理]]一文,在此不贅。
==例==
|