集合A与集合B互不包含但有公共部分(关于充要条件的问题)