Множество всех натуральных чисел, а также множества {1},{1,2},{1,2,3} и {1,2,3,4}.
Для начала проверим, что множества {1},{1,2},{1,2,3},{1,2,3,4}, а также множество всех натуральных чисел — полные. Для последнего множества это очевидно; для первых четырёх заметим, что если натуральные числа a и b таковы, что a+b≤4, то либо они оба равны 2, либо одно из них равно 1; в любом из этих случаев имеем ab≤a+b. Значит, если a+b∈A, то и ab∈A.
Пусть теперь A — произвольное полное множество. Если A содержит некоторое число k≥2, то по условию оно также содержит число 1⋅(k−1)=k−1. Продолжая этот процесс, получаем, что все натуральные числа, не превосходящие k, лежат в A. В частности, если A не содержит чисел, больших 4, то множество A уже перечислено в ответе.
Пусть теперь в A есть число ℓ≥5. Зададим последовательность ℓ1,ℓ2,… соотношениями ℓ1=ℓ,ℓn+1=2(ℓn−2). Все эти числа лежат в A. Действительно, ℓ1 лежит в A по нашему предположению, а если ℓn=2+(ℓn−2)∈A, то и ℓn+1=2(ℓn−2)∈A. Кроме того, ℓn+1=ℓn+(ℓn−4); по индукции теперь получаем, что ℓn+1>ℓn≥5. Значит, для любого натурального n имеем ℓn>n; из рассуждений предыдущего абзаца понимаем теперь, что и n∈A. Итак, все натуральные числа лежат в A.