Toutes les instances de la super-classe appartiennent à au moins une des sous-classes d'une généralisation complète.