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