Изменения

|proof=Докажем по индукции по потенциальным элементам множеств<tex dpi="350">A</tex>.

<tex dpi="350">Set(\varnothing)=\varepsilon=\prod_{\alpha\in A}\varepsilon</tex>