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)} auf T = {C, D, E}

Relation ≤² auf T² :

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

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