真包含于关系 (properly included in) ◆ 词项S与P的外延若满足SCP,即S包含于P 但S与P又不相等，则称S与P的外延关系是 真包含于关系（又称为种属关系）
真包含于关系 (properly included in) u 词项S与P的外延若满足S⊂P，即S包含于P 但S与P又不相等，则称S与P的外延关系是 真包含于关系（又称为种属关系）。 P S
例 “等边三角形”与“三角形” “一元真值函数”与“真值函数” “坎德伯雷大教堂”与“英国著名的教 堂
例 u “等边三角形”与“三角形” u “一元真值函数”与“真值函数” u “坎德伯雷大教堂”与“英国著名的教 堂
真包含关系(properly include) ◆词项S与P的外延若满足SpP,即S包含P但 S与P又不相等，则称S与P的外延关系是真 包含关系（又称为属种关系）
真包含关系(properly include) u 词项S与P的外延若满足S⊃P，即S包含P但 S与P又不相等，则称S与P的外延关系是真 包含关系（又称为属种关系）。 S P
例 ◆ “三角形”与“等边三角形” “真值函数”与“一元真值函数” “英国高等学府”与“牛津大学
例 u “三角形”与“等边三角形” u “真值函数”与“一元真值函数” u “英国高等学府”与“牛津大学
交叉关系(overlap) ◆词项S与P的外延若满足S∩P≠☑，SP≠☑， PS≠☑，即S与P有公共元素但S与P不相互 包含，则称S与P的外延关系是交叉关系
交叉关系(overlap) u 词项S与P的外延若满足S∩P≠∅，SP≠∅， PS≠∅，即S与P有公共元素但S与P不相互 包含，则称S与P的外延关系是交叉关系。 S P