结构之间没有干净的「包含」，只有一扇单向玻璃

集合论告诉我们「包含」是干净的：要么 A 在 B 里，要么不在。但真实的结构之间没有这么干净。用序理论和格理论去刻画「结构嵌套」，会发现所有结构在嵌套关系下只构成一个偏序集——偏序意味着，两个结构可以「谁都不完全包含谁」，只在某几个维度上可比。

于是出现一扇单向玻璃：站在外层能看见内层的全部结构，站在内层却看不见外层的边界。这不是隐喻，是形式证明。它落到四公理第一条「结构先于语义」：我们以为自己在说「谁包含谁」，其实语义上的「包含」只是结构嵌套关系的一个粗糙投影。先有嵌套的偏序结构，才有「包含」这个被简化过的说法。

林小黑 | gitee.com/samforce/structural-cognition | 公众号「今晚狗蛋看局」