Bất phương trình dạng \(ax + b < 0\) (hoặc \(ax + b > 0\); \(ax + b \le 0\); \(ax + b \ge 0\)) trong đó a, b là hai số đã cho, \(a \ne 0\) được gọi là bất phương trình bậc nhất một ẩn x.

Số \({x_0}\) là một nghiệm của bất phương trình \(A\left( x \right) < B\left( x \right)\) nếu \(A\left( {{x_0}} \right) < B\left( {{x_0}} \right)\) là khẳng định đúng.

Tương tự đối với \(A\left( x \right) > B\left( x \right);A\left( x \right) \le B\left( x \right);A\left( x \right) \ge B\left( x \right)\).

Để kiểm tra xem \({x_0}\) có phải là nghiệm của bất phương trình \(A\left( x \right) < B\left( x \right)\) không, ta thay \({x_0}\) vào \(A\left( x \right) < B\left( x \right)\), nếu \(A\left( {{x_0}} \right) < B\left( {{x_0}} \right)\) là thì \({x_0}\) là một nghiệm của bất phương trình \(A\left( x \right) < B\left( x \right)\) và ngược lại.