形式幂级数环

_

formal power series ring, ring of formal power series