is an infinite field, two different polynomials define different polynomial functions, but this property is false for finite fields. For example, if is a field with elements, then the polynomials and both define the zero function.

For every in , the evaluation at , that is, the map defines an algebra homomorphism from to , which is the unique homomorphism from to that fixes , and maps to . In other words, has the following universal property: