En d'autres termes si tout élément de est aussi un élément de . On dit aussi que est un sous-ensemble de , que est inclus dans , ou encore que est une partie de .