一般に、"s"["α"]を "s" の元を係数とする "α" によるすべての多項式表現の集合とすると、"s"["α"]は "α" と "s" を含む最も小さな環である。