Множество натуральных чисел является подмножеством