a真包含于b等于A交B