344
правки
Изменения
→Сложение
Тогда <tex>a + b</tex> можно определить как: <tex>N ( A ∪ B )</tex>.
Здесь, <tex>A ∪ B {\displaystyle A\cup B} A\cup B --- — </tex> это объединение множеств <tex>A и B</tex>. В альтернативной версии этого определения множества <tex>A и B</tex> перекрываются и тогда в качестве суммы берётся их дизъюнктное объединение, механизм, который позволяет отделять общие элементы, вследствие чего эти элементы учитываются дважды.
Другое известное определение рекурсивно: