text: Что и требовалось доказать. ■ Доказательство через индикаторные функции Пусть A i {\displaystyle A_{i}} — произвольные (не обязательно конечные) множества, являющиеся подмножествами некоторого множества U {\displaystyle U} , и пусть 1 A i {\displaystyle \mathbf {1} _{A_{i}}} — индикаторные функции A i {\displaystyle A_{i}} (или, эквивалентно, свойств a i {\displaystyle a_{i}} ).