Изменения

Пусть верно для множества <tex dpi="350">A_1</tex>, докажем, что будет верно и для множества и <tex dpi="350">A_1+\{\alpha\}</tex>б , где <tex dpi="350">\alpha\in A\setminus A__1A_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>.