A交B包含于A,那如果A是空集,不就不成立了吗?