On dit qu’un ensemble E est inclus dans un ensemble F, si tout élément de E est élément de F. On dit dans ce cas que E est un sous-ensemble, ou une partie, de F et on note E ⊂ F.