195
правок
Изменения
м
fixes
'''Переход'''
Пусть верно для множества <tex dpi="350">A_1</tex>, докажем, что будет верно и для множества и <tex dpi="350">A_1+\{\alpha\}</tex>, где <tex dpi="350">\alpha\in A\setminus A_1</tex>
В множестве каждый элемент может либо присутствовать, либо отсутствовать, поэтому <tex dpi="350">Set(A_1+\{\alpha\})=Set(A_1+\{\alpha\})+Set(A_1+\{\alpha\})\times\{\alpha\}=Set(A_1+\{\alpha\})(\varepsilon + \alpha)</tex>.
}}
