Пусть – произвольное множество (универсальное), – произвольное подмножество, – дополнения множества до множества (разность множеств и ).
Тогда доказательство тождества образует последовательность приведённых утверждений …
Пусть – произвольное множество (универсальное), – произвольное подмножество, – дополнения множества до множества (разность множеств и ).
Если , и , то доказательство включения образует последовательность приведённых эквивалентностей …
Расставьте предложенные соотношения в правильной последовательности и получите обоснование неравенства
,
где, например, – булеан множества , т.е. множество всех подмножеств множества (здесь и – произвольные подмножества универсального множества ).