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