AがBの必要条件とは、
「AでなくてもB、
 ということはないが、
 AであってBでない、
 ということはある」
AがBの十分条件とは
「AであってBでない、
 ということはないが、
 AでなくてもB、
 ということはある」