Morphism of finite type/Definition

A set of polynomial equations with finitely many variables.