Geef een karakterisering van de waardenverzameling van een polymorf type
De waardenverzameling van een polymorf type is te karakteriseren als de doorsnede van alle waardenverzamelingen die uit het polymorfe type afleidbaar zijn. Met andere woorden: de waarden die alle afgeleide typen gemeenschappelijk hebben. [C7.zelftoets]