Java类型系统遵循何种代数结构？疑似偏序集求文献验证

你的判断完全正确——Java的子类型关系（subtyping relation）确实构成偏序集（Partially Ordered Set, Poset），这是编程语言类型理论领域的共识性结论，在经典的类型系统研究文献中多有明确阐述。

从偏序集的三个核心公理出发，对应Java类型系统的规则：

• 自反性：虽然Java语法禁止class A extends A这类显式自继承，但类型理论层面，每个类型都被视为自身的子类型（即A <: A恒成立）。这一点体现在实际代码中：A类型的变量可以直接赋值给另一个A类型的变量，本质就是利用了这种隐式的自反子类型关系。
• 反对称性：Java编译器会严格检查并禁止循环继承（例如A extends B、B extends C、C extends A的链式继承），确保如果A <: B且B <: A，那么A和B必然是同一个类型，完全符合偏序集的反对称要求。
• 传递性：Java的继承体系天然遵循传递性规则——若A extends B且B extends C，则A自动成为C的间接子类型（A <: C）。比如你可以将A类的实例赋值给C类型的变量，编译器会认可这种间接子类型关系。

关于你提到的null类型：它是所有引用类型的子类型（即nulltype <: T对任意引用类型T成立），但nulltype本身没有任何子类型（包括Object也不是它的子类型），这一规则并未破坏偏序集的结构，因为偏序集允许存在单向可比的元素。

另外补充一点：Java泛型引入的协变、逆变规则会让子类型关系更复杂，但基础的类/接口继承体系的子类型关系，依然严格遵循偏序集的代数结构。

内容的提问来源于stack exchange，提问作者hopin