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