Στην θεωρία συνόλων, ένα πεπερασμένο σύνολο είναι ένα σύνολο S S για το οποίο υπάρχει φυσικός αριθμός n ∈ N {\displaystyle n\in \mathbb {N} } και 1-1 και επί συνάρτηση f : S → { 1, 2, …, n } {\displaystyle f:S\to \{1,2,\ldots,n\}} ή είναι το κενό σύνολο. Wikipedia