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