El ejemplo arquetípico de una invariante es el discriminante "B" − 4"AC" de una forma binaria cuadrática de "Ax" + "Bxy" + "Cy".