充分條件：如果A能推出B，那么A就是B的充分條件。其中A為B的子集，即屬于A的一定屬于B，而屬于B的不一定屬于A，具體的說(shuō)若存在元素屬于B的不屬于A，則A為B的真子集；若屬于B的也屬于A，則A與B相等。
必要條件：必要條件是數(shù)學(xué)中的一種關(guān)系形式。如果沒(méi)有A，則必然沒(méi)有B；如果有A而未必有B，則A就是B的必要條件，記作B→A，讀作“B含于A”。數(shù)學(xué)上簡(jiǎn)單來(lái)說(shuō)就是如果由結(jié)果B能推導(dǎo)出條件A，我們就說(shuō)A是B的必要條件。