如果A能推出B，那麼A就是B的充分條件。如果沒有A，則必然沒有B；如果有A而未必有B，則A就是B的必要條件。
充分條件：如果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的必要條件。
