充分不必要條件的包含關係

充分不必要條件的包含關係是b是a的必要不充分條件。如果有事物情況A，則必然有事物情況B；如果有事物情況B不一定有事物情況A，A就是B的充分而不必要的條件，即充分不必要條件。

假設A是條件，B是結論

（1）由A可以推出B，由B可以推出A，則A是B的充要條件(A=B)

（2）由A可以推出B，由B不可以推出A，則A是B的充分不必要條件(A⊆B)

（3）由A不可以推出B，由B可以推出A，則A是B的必要不充分條件(B⊆A)

（4）由A不可以推出B，由B不可以推出A，則A是B的既不充分也不必要條件(A￠B且B￠A)