Hier werden die Unterschiede zwischen zwei Versionen gezeigt.
— |
glossar:subtyp [2017/09/26 10:20] (aktuell) |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
+ | ====== Subtyp ====== | ||
+ | //engl.:// **subtype** | ||
+ | ===== Bedeutung ====== | ||
+ | Wenn S ≤ T gilt, d.h. wenn S ein Subtyp von T ist, dann gehören alle Objekte von S auch zu T . | ||
+ | |||
+ | Wenn S ≤ T und S ungleich T, heißt S ein echter Subtyp von T, in Zeichen S < T. | ||
+ | |||
+ | Wenn S ≤ T, dann heißt T ein Supertyp von S, und wir schreiben auch T ≥ S. | ||
+ | |||
+ | Wenn S < T und es kein U mit S < U < T gibt, dann heißt S ein direkter Subtyp von T . | ||
+ | |||