# Property: polynomial identity

Definition: There exists an element of $\mathbb Z\langle x_1,\ldots x_n\rangle$ for which any set of $n$ ring elements satisfies the polynomials

## Metaproperties

This property has the following metaproperties
• passes to subrings
• passes to quotient rings
• stable under finite products