>>369
環Rと無限集合XでR[X]。
Xが有限集合の場合と同じ。
R[X]は、Rを部分環に持ち、
集合にR∪Xを含む環の中で
最小のもののこと。