•Kompatibilita tried (objektových typov)
•
4kompatibilita je jednosmerná => odvodený typ dedí kompatibilitu so svojimi predkami (kompatibilita s predkami nie potomkami)
·medzi inštanciami
·medzi formálnymi a skutočnými parametrami
4