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.
Nếu \(a < b\) và \(b < c\) thì \(a < c\).
Nếu \(a > b\) và \(b > c\) thì \(a > c\).
Nếu \(a \le b\) và \(b \le c\) thì \(a \le c\).
Nếu \(a \ge b\) và \(b \ge c\) thì \(a \ge c\).