"大学老师"——"教育工作者" 是 真包含于关系,这就是"大学老师"S 的全部外延都在"教育工作者"P 的外延中,而"教育工作者"P 的部分外延却不在"大学老师"S 的外延中.