Teilmenge

Die Menge $A$ ist eine Teilmenge von $B$ (geschrieben $A\subseteq B$), wenn jedes Element von $A$ auch ein Element von $B$ ist:

$$A\subseteq B\stackrel{\mathrm{def}}{⟺}\forall x(x\in A\to x\in B).$$