如果某个定义符合定义规则，则其被定义项与下定义项在外延上一定具有全同关系