Finite

A Set is finite if it can be put into a 1-1.correspondence with $J_n = \{0,\ldots,n\}$ for some Nonnegative Integer n .