Определение сложения неотрицательных целых чисел через объединение множеств и функцию преемника. Демонстрация изоморфизма между сложением чисел и объединением множеств