若A包含于B,就意味着B不是空集?