4.2.2 Inclusion

X est un sous-ensemble de Y (X inclus dans Y) si tous les éléments de X appartiennent à Y: X $\subseteq$ Y $\Leftrightarrow$ (x $\in$ X $\Rightarrow$ x $\in$ Y). L'inclusion est réflexive, antisymétrique et transitive.