\begin{definition}[Definition:Finite Subset]
Let $S$ be a set.
Let $T$ be a subset of $S$ which is a finite set.
Then $T$ is a '''finite subset''' of $S$.
Category:Definitions/Subsets
\end{definition}