Tài liệu Từ điển: Thuật ngữ dùng trong toán học Anh - Việt

Bất phương trình một ẩn là một mệnh đề chứa biến x so sánh hai hàm số f(x) và g(x) trên trường số thực dưới một trong các dạng
Giao của hai tập xác định của các hàm số f(x) và g(x) được gọi là tập xác định của bất phương trình.
Tuy nhiên các bất phương trình trên đều có thể chuyển về dạng tương đương f(x)> 0 (hoặc f(x) ≥ 0).
Cũng như trong phương trình, biến x trong bất phương trình cũng được gọi là ẩn, hàm ý là một đại lượng chưa biết.
Sau đây ta sẽ xét bất phương trình dạng tổng quát f(x)> 0.
Nếu với giá trị x =a, f(a) > 0 là bất đẳng thức đúng thì ta nói rằng a nghiệm đúng bất phương trình f(x) > 0, hay a là nghiệm của bất phương trình.