Definition:Finite Subset

From ProofWiki
Jump to navigation Jump to search

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