Subset

Abstract

---

$$A\subseteq B\leftrightarrow \forall x(x\in A\to x\in B)$$

Proper Subset

$$A⊊B\leftrightarrow (A\subseteq B)\wedge (A\ne B)$$

Superset

$$B\supseteq A$$

• $A$ is a Subset of $B$