Помогите доказать:
Доказать что если множество А включено в множество В, то дополнение множества В принадлежит дополнению множества А.

Так как А включено в B, если некоторый элемент не принадлежит В, то он тем более не принадлежит А. Это эквивалентно тому, что если некоторый элемент принадлежит дополнению В, то он принадлежит дополнению А, что эквивалентно вложенности дополнения В в дополнение А.