ハイエンドコンピューティングのセットとの間の、（デカルト\の）\製品。
I.Cartesian积
[定義\（2.1 \） ]
。設け\（A、B \）と呼ばれる順序対の集合の\（（A、B）\） （ここで、\ B \でA、B \）における（Aは、\）全ての集合で構成されている（\ 、B \）の）デカルト\の（\生成物は、と呼ばれる）\（\と\（B \）の生成物を得ました。セットと呼ば\（C = A \ B =タイムズ\ {（A、B）| BにおけるAにおけるA \ B \ \} \） 。
着目B. （A \倍B \）\複数の特性を有する素子です。ここでも、以後はまったく同じ場合にのみ、そのプロパティのすべての場合には二つのものと呼ばれます。
C。もし\（A = B = \ mathbb R＆LT \） 、次いで\（A \倍Bが\）を構成する\（デカルトである\）面。
D.クロスなどは、製品セットのコンセプトは、製品回収の家族に拡張することができます。インデックスセット設け\（I \）と集合族（{| I \ Iにおいて\ a_iを} \ F. = \）\、の定義（C_1 = \ prod_ {iは\ = 1} ^ {カード（I）} a_iを=を\）| \ {a_iを\でa_iを\（A_1、A_2、...、A_ {カード（I）}）}、ここで\（カード（I）\）すなわち\（I \）の要素の数。
上記定義された電子は、別の表現を有することができ、そして場合でも\（C_2は\）である集合\（I \）以下の条件に該当関数で\（F \）内の全て各場合：\（I \ \ Iでの）、持っている\（F（I）\ a_iを\で）。\（C_2 \）と呼ばれる\（F. \） A （\デカルトの）\と呼ばれる製品、\（IにおけるX_ {I \} a_iを\） 。
EAは上記の定義と理解各機能について\（F_iと\） 、唯一の順序対を有している\（（A_1、A_2、... 、A_ {カード（I）}）\） それに対応します。（これは1対1の関係はないが、このマップは設定されている\（G \） 、があるかもしれない\（G（F（I））= G（F（J））\） ）
EBは明らかです\（C_1 \ subseteq C_2 \） 、および\（カード（C_1）=カード（C_2）\） 。明らかに利用できる\（C_2 C_1 = \） 。