Zwei binäre quadratische Formen

${\displaystyle F=aX^{2}+bXY+cY^{2}\,\,{\text{ und }}\,\,F'=a'X^{2}+b'XY+c'Y^{2}}$

heißen äquivalent, wenn es eine ganzzahlige invertierbare ${\displaystyle {}2\times 2}$-Matrix ${\displaystyle {}M}$ mit

${\displaystyle {}F'=FM\,}$

gibt.