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 A and B, we say A is a subset of B if and only if every element of A is also an element of B, written

AB.

If there is an element of A not contained in B, then we say A is not a subset of B and we write

AB.

Visual Representation

300

⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠

Excalidraw Data

Text Elements

A
B
A
B

⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠

Excalidraw Data

Text Elements

A
B
A
B

Template for Direct Proof of AB

\begin{proof}
Suppose xA.
<-- work of math!
Therefore xB.
By definition AB.
\end{proof}