Définition : A est un sous-ensemble de E si et seulement si tout élément de A appartient à E.

Remarques:

• Un ensemble peut contenir plusieurs sous-ensembles :

  	A et B sous deux sous-ensembles de E
  	A et B sont deux sous-ensembles de E A est un sous-ensemble de B