Exámenes

Buenas:

El razonamiento que se aplica ahí se puede generalizar de esta forma:

• $A$ y $B$ son conjuntos cualesquiera.
• Sabemos que $A \subseteq B$

Entonces:

• $((\exists a \in B) a \not\in A) \Longleftrightarrow A \subset B$

Esto se basa en la definición de $\subseteq$ y $\subset$ que suponemos conocidas.