sous-ensemble d'un ensemble E

Ensemble dont tous les éléments appartiennent à l'ensemble E.