§1. Bất đẳng thức

Nếu mệnh đề "a < b => c < d" đúng thì ta nói bất đẳng thức c < d là bất đẳng thức hệ quả của bất đẳng thức a < b và cũng viết là a < b = > c c < d