充分條件：如果A能推出B，那么A就是B的充分條件。其中A為B的子集，即屬于A的一定屬于B，而屬于B的不一定屬于A，具體的說若存在元素屬于B的不屬于A，則A為B的真子集；若屬于B的也屬于A，則A與B相等。

　　必要條件：必要條件是數學中的一種關系形式。如果沒有A，則必然沒有B；如果有A而未必有B，則A就是B的必要條件，記作B→A，讀作“B含于A”。數學上簡單來說就是如果由結果B能推導出條件A，我們就說A是B的必要條件。