Definition:Polynomial over Ring as Sequence

Sequence over Field
The definition is more usually encountered when the structure in question is a field: