Пусть
![](https://st.testna5.ru/images/b48/b4856eb453a29b69da348153171f6d1e.png)
– произвольное множество (универсальное),
![](https://st.testna5.ru/images/894/89403a87ae3dd28154558e99165be82e.png)
– произвольное подмножество,
![](https://st.testna5.ru/images/f93/f93302e2225f7ebd92f856151c2992c8.png)
– дополнения множества
![](https://st.testna5.ru/images/e29/e2970600f2f2f06a14b77a3e359ffb30.png)
до множества
![](https://st.testna5.ru/images/4ab/4abdfa61b3cfcb6c7cf938a94e752fe5.png)
(разность множеств
![](https://st.testna5.ru/images/a76/a76f912c57ab00bfd1dbd66c402e2ee4.png)
и
![](https://st.testna5.ru/images/5b4/5b4ab0a10b89e43bcadbb5eccce629ef.png)
).
Если
![](https://st.testna5.ru/images/72c/72c670acf851623564ef0a31f8aad367.png)
,
![](https://st.testna5.ru/images/2f1/2f191a0f67ef3aabff2f891378fffe7c.png)
и
![](https://st.testna5.ru/images/762/762aef362b68d1c29fed89d42bb16188.png)
, то доказательство включения
![](https://st.testna5.ru/images/c3c/c3cd45e30275ca9e99a170d05ab2c4a0.png)
образует последовательность приведённых эквивалентностей …
Из определения операции дополнения множества следует, что утверждения
![](https://st.testna5.ru/images/f79/f798638090173debbcf8a3b31a4769c7.png)
и
![](https://st.testna5.ru/images/8d9/8d9a187941ce7dbb70dc848450f2d582.png)
эквивалентны (равносильны)
(кратко:
![](https://st.testna5.ru/images/f83/f836c2c5e4375e69405b27e485499bdd.png)
).
Утверждение
![](https://st.testna5.ru/images/9d7/9d7a20303d34f8a14ea59e152c089295.png)
эквивалентно (равносильно) утверждению
![](https://st.testna5.ru/images/7d7/7d782c9acf195b9cafe9d921b355b646.png)
и
![](https://st.testna5.ru/images/29c/29ca625a85eee1add416842eafb3083b.png)
, что непосредственно следует из определения операции объединения множеств
(кратко:
![](https://st.testna5.ru/images/ca9/ca9bcfa77554c761028246c03900074b.png)
).
Учитывая определение дополнения, можно утверждать, что соотношение
![](https://st.testna5.ru/images/c92/c9204b0b621128f46d2a056463e12977.png)
и
![](https://st.testna5.ru/images/317/317d339571ec5257b3647739ad4e314d.png)
равносильно (эквивалентно) соотношению
![](https://st.testna5.ru/images/357/357afe11c8552e44f248cab375464c19.png)
и
![](https://st.testna5.ru/images/4ff/4ff62b5a111c3925a12d37baf45a7504.png)
(кратко:
![](https://st.testna5.ru/images/1a0/1a0acea549cfcf99efac82d78f7db696.png)
).
По определению операции пересечения, соотношение
![](https://st.testna5.ru/images/de7/de7da433cff44ee0db8daf79a0413d15.png)
и
![](https://st.testna5.ru/images/19a/19acb745762033e193a06e3390b4fd55.png)
эквивалентно (равносильно) соотношению
![](https://st.testna5.ru/images/095/095093ce7be5137ef01eefb6cc012375.png)
(кратко:
![](https://st.testna5.ru/images/a7b/a7b84ef34354e3e413a47bac296fd14b.png)
).