如果(),那么有的A是B,并且有的A不是B。
A:A与B全异
B:A真包含于B
C:A与B同一
D:A与B交叉
出自:国家开放大学《法律逻辑学》