proper subset
1. Definition
\begin{align*}
B \subsetneq A := \exists x ( x \in A \land x \not\in B) \land \forall y (y \in B \rightarrow y \in A)
\end{align*}
1.1. Bedeutung
- B als Teilmenge
- aber: Mengen nicht identisch \(\rightarrow\) mind ein Element in A was nicht in B ist