Definition:Finite Subset

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