Definition:Finite

A set $$S$$ is finite iff $$\exists n \in \mathbb{N}: S \sim \mathbb{N}_n$$.

That is, if there exists an element $$n$$ of the set of natural numbers which is equivalent to the set of all elements of $n$ less than $n$.