所有S是P关系图,关系图

设s真包含于pm与p交叉m真包含s用欧拉图表示sm和p之间的三种外延关系
聊吧简化s和p复杂的集合关系
p's 及其与蓝图的关联
3.86 包 x 包含类 p 和 s .包 a 有一个接口 i .
(aeio的四种关系) 上反对是ae 下反对是io a是全称肯定判断 (所有s是p