Теорема: Если n – произвольное натуральное число, а f – отображение из множества N<=(n+1) в N<=n, где N<n – множество натуральных чисел, ограниченное сверху элементом n, а N<=(n+1) – множество натуральных чисел, ограниченное сверху элементом n+1. Тогда f не является инъективным.
Конечным множеством называется множество, из которого существует биективное отображение на множество N<=n, для некоторого n из N. Где N – множество всех натуральных чисел, N<=n – множество натуральных чисел, ограниченное сверху элементом n.