Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

@@ 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 .

SE 1 - WS 2017/18