两个集合互不包含于另一个,或者一个空集与另一个非空集合的交集 ,或者两个集合都是空集