のに関する意味での解である(正標数の場合には、方程式も系に加える)。