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