四、与法（大项P）的同品（外延）相对应的因（中项M）的有、非有、有非有的三种包摄关系
如果对这三种包摄关系加以分析的话则如下：
（1）有、M与P三者外延相等。
M=P.=df.（x）｛〔M（x） 
P（x）〕 Λ 〔P（x） M（x）〕｝
（2）非有、M与P三者外延不重合。(https://www.daowen.com)
M＜～P.=df.～（Ex）〔M（x） Λ P（x）〕=df.（x）〔M（x～P（x）〕
（3）有非有、M的外延是P的外延的一部分。
M＜P.=df.（x）〔M（x） P（x）〕
P（x）〕 Λ 〔P（x） 
M（x）〕｝
～P（x）〕
P（x）〕