充要条件 无论B是 空集 B是A的真子集 或者B与A相同 条件与结论可互推 故为充要条件列出式子，事后一定真心感谢1.若B=空集，则 B包含于A，A∪B＝B故由条件可推出结论2.若B为A的真子集或者B=A，A∪B＝B故由条件可推出结论反过来若A∪B＝B ，若B是空集，则 B包含于A 可由结论推出条件 若B不为空集 ，则B包含于A可由结论推出条件由于有些符号无法写，于是用中文，你自己把文字改成数学符号就行了