充分不必要条件的包含关系

充分不必要条件的包含关系是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)