Давайте докажем отрицание данного утверждения: B принадлежит НЕ А (В с чертой сверху принадлежит А с чертой сверху).
Если B принадлежит НЕ А, то это означает, что B не принадлежит А.
Но мы знаем, что A принадлежит B (А с чертой сверху принадлежит B). Следовательно, B принадлежит A.
Противоречие: мы пришли к противоречию, исходя из предположения, что B принадлежит НЕ А. Следовательно, НЕ B не принадлежит НЕ А.
Таким образом, доказано, что множество НЕ B не принадлежит множеству НЕ А.
Давайте докажем отрицание данного утверждения: B принадлежит НЕ А (В с чертой сверху принадлежит А с чертой сверху).
Если B принадлежит НЕ А, то это означает, что B не принадлежит А.
Но мы знаем, что A принадлежит B (А с чертой сверху принадлежит B). Следовательно, B принадлежит A.
Противоречие: мы пришли к противоречию, исходя из предположения, что B принадлежит НЕ А. Следовательно, НЕ B не принадлежит НЕ А.
Таким образом, доказано, что множество НЕ B не принадлежит множеству НЕ А.