Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:subtyp

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

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 .
 +
  
glossar/subtyp.txt · Zuletzt geändert: 2017/09/26 10:20 (Externe Bearbeitung)