>>248

でも斎藤毅さんの本では、まず I = φ のときに積を定義しています。