充分条件：如果A能推出B，那么A就是B的充分条件。其中，A为B的子集，即属于A的一定属于B，而属于B的不一定属于A。必要条件：如果没有A，则必然没有B；如果有A而未必有B，则A就是B的必要条件，记作B→A，读作“B含于A”。