Un premier ensemble (A) est inclus dans un second ensemble (B) si tous les éléments de A appartiennent aussi à B.
On dit alors que A est un sous-ensemble de B.

 
Exemples :

• l' ensemble A = {a ; b ; g ; h}  est inclus dans l' ensemble B = {a ; b ; c ; d ; e ; f ; g ; h} ;

• l' ensemble Z des entiers relatifs est inclus dans l' ensemble Q des rationnels.

Voir : ensemble.