これは、このとき直積が集合間の演算として結合法則を満たすものと看做されたことを意味する.
これは、