Typhierarchie als Halbordnung

Durch extends/implements entsteht eine Halbordnung auf Typen

Bsp. class C; class D extends C; class E extends C definiert Relation (≤) = {(C, C),(D, C),(D, D),(E, C),(E, E)} mathend000# auf T = {C, D, E} mathend000#

Relation ≤² mathend000# auf T² mathend000#:

(t₁, t₂)≤²(t₁', t₂') : $\iff$t₁≤t₁'∧t₂≤t₂' mathend000#

es gilt (D, D)≤²(C, C);(D, D)≤²(C, D);(C, D)≤²(C, C);(E, C)≤²(C, C) mathend000#.