ThiesMesdag
commented
3 months ago Misschien zie ik het verkeerd, maar moet abstract niet als juist worden gedefinieerd als dat er geen objecten kunnen bestaan die getypeerd worden als zijnde objecten van alleen dit objecttype? In de definitie van generalisatie moet "worden overerfd" met een d .
Ha Thies, wat vind jij ervan: 1) Bij abstract: de eis Een abstract objecttype moet altijd de generalisatie zijn van één of meerdere objecttypes die niet abstract zijn. Uit de definitie gehaald en in de toelichting gezet
2) minimaal twee uit de toelichting bij generalisatie gehaald. (is geen harde eis)