The binary quadratic form is said to be reduced if the following conditions hold. Let be the discriminant, then
1. If is negative, is reduced if and if whenever or , and is called real.
2. If is positive, is reduced if , and is called imaginary or positive definite.
Every imaginary binary quadratic form is equivalent to a unique reduced form and every real binary quadratic form is equivalent to a finite number of reduced forms.