# 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$.