A∪B=B,则A包含于B的否命题