Крива еліптична

множина точок проективної площини над K, що задовольняють рівнянню y^2+a_1 xy+a_3 y=x^3+a_2 x^2+a_4 x+a_6 ~ разом з точкою на нескінченності.