Set

Let $S$ be a set $S$. We say that $T$ is a subset of $S$ if every element of $T$ is an element of $S$. In this case, we write $T \subset S$.

In particular, for any set $S$, the empty set is a subset of $S$.