#Type/Theorem #Topic/Linear_Algebra

Types: N/A
Examples: N/A
Constructions: N/A
Generalizations: 1.7 Subset, 1.11 Empty Set

Properties: N/A
Sufficiencies: N/A
Questions: N/A

Classic Subset Results

Let A, B, and C be any sets. Then

  1. ∅⊆A.
  2. A⊆A
  3. If A⊆B and B⊆C, then A⊆C.

\begin{proof}

\end{proof}