直積集合
本はありません。