>>367
直規約じゃないでしょ
添字の集合をI=I1∪I2とか分けて
A1=A∩Π[i∈I1]Ri,A2=A∩Π[i∈I2]Ri
とでもすればA=A1×A2でしょ?