– Phương trình (a) có tập nghiệm là S1

Phương trình (b) có tập nghiệm là S2

Nếu S1 ⊂ S2 thì ta nói (b) là phương trình hệ quả của phương trình (a), kí hiệu: (a) ⇒ (b)

– Ví dụ : Phương trình x + 1 = 0 có tập nghiệm là S1 = {–1}

phương trình x2 – x – 2 = 0 có tập nghiệm là S2 = {–1; 2}

Ta có: S1 ⊂ S2 nên phương trình x2 – x – 2 = 0 là phương trình hệ quả của phương trình x + 1 = 0, kí hiệu:

x + 1 = 0 ⇒ x2 – x – 2 = 0.