Terme
Sous-ensemble
- Expression
- sous ensemble
- Nom
- partie
- Termes plus larges
- Inclusion d’ensembles
- Termes plus spécifiques
- Image d’un ensemble par une application
- Cas particulier de
- Inclusion d’ensembles
- Condition de définition de
- Image d’un ensemble par une application
Définition
Définition Inclusion de deux ensembles
Soit \(E\) et \(F\) deux ensembles.
\(F\) est inclus dans \(E\) si tout élément de \(F\) est élément de \(E\).
Cette inclusion se note : \(F\subset E\) et sa négation se note \(F\not\subset E\).
On dit que \(F\) est un sous ensemble de \(E\), ou une partie de \(E\).
Ainsi : \(F\subset E\Leftrightarrow(\forall x\in F,\ x\in E)\).
Module : Ensembles