Mорфизъм на алгебрични множества. Ако А_1 \подмножество k^n за някакво n и А_2 е юподмножество на к^m за някакво m, морфизъм е изображение от вида f(x_1,x_2,....,x_n)=(f_1(x_1,x_2,...,x_m),f_2(x_1,x_2,...,x_m),...,f_n((x_1,x_2,...,x_m)) където f_i са полиноми с коефициенти от полето k.

Всичко е добре когато свършва добре...