Definition:Finite

A set $$S$$ is defined as finite iff $$\exists n \in \N: S \sim \N_n$$.

That is, if there exists an element $$n$$ of the set of natural numbers $$\N$$ such that the set of all elements of $\N$ less than $n$ is equivalent to $$S$$.