Phương trình ẩn x là mệnh đề chứa biến có dạng

f(x) = g(x) (1)

trong đó f(x) và g(x) là những biểu thức của x. Ta gọi f(x) là vế trái, g(x) là vế phải của phương trình (1).

Nếu có số thực x0 sao cho f(xo) = g(xo) là mệnh đề đúng thì xo được gọi là một nghiệm của phương trình (1).

Giải phương trình (1) là tìm tất cả các nghiệm của nó (nghĩa là tìm tập nghiệm).

Nếu phương trình không có nghiệm nào cả thì ta nói phương trình vô nghiệm (hoặc nói tập nghiệm của nó là rỗng).