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