Ta gọi hệ thức dạng \(a > b\) (hay \(a < b\), \(a \ge b\), \(a \le b\)) là bất đẳng thức.
Trong đó a là vế trái, b là vế phải của bất đẳng thức.
Khi cộng cùng một số vào hai vế của một bất đẳng thức ta được bất đẳng thức mới cùng chiều với bất đẳng thức đã cho.
Nếu \(a < b\) thì \(a + c < b + c\).
Nếu \(a > b\) thì \(a + c > b + c\).
Nếu \(a \le b\) thì \(a + c \le b + c\).
Nếu \(a \ge b\) thì \(a + c \ge b + c\).