Demostrar que si A \subseteq B y B \subset C entonces A \subset C .
Prueba:
A \subseteq B \Longrightarrow \forall x\in A, x \in B. Desde B \subset C se deduce que x \in B \Longrightarrow x \in C pero \exists c \in C \ni c \notin B. Desde A \subseteq B se deduce que c \notin A Así pues A \subset C .
¿Es suficiente?