Cartesian product
実数体 の直積集合 に和、積を