Types: N/A
Examples: 1.8 Proving Subsets
Constructions: 1.12 Classic Subset Results Theorem
Generalizations: 1.1 Set
Properties: N/A
Sufficiencies: N/A
Questions: N/A
Subset
Given two sets
If there is an element of
Visual Representation
Template for Direct Proof of
\begin{proof}
Suppose
Therefore
By definition
\end{proof}