Какие существуют методы доказательства включения подмножеств в математической логике?

Некоторые методы доказательства включения подмножеств в математической логике:

• Метод двух включений. books.ifmo.ru Основан на том, что для доказательства равенства множеств A = B необходимо и достаточно доказать два включения: A ⊆ B и B ⊆ A. books.ifmo.ru
• Метод эквивалентных преобразований. books.ifmo.ru При доказательстве преобразуют левую часть тождества к правой и наоборот, используя ранее доказанные тождества. books.ifmo.ru Этот метод считается универсальным и наиболее часто применяемым. books.ifmo.ru
• Метод характеристических функций. books.ifmo.ru Заключается в выражении характеристических функций обеих частей тождества через характеристические функции входящих в него множеств. books.ifmo.ru
• Аргумент элемента. en.wikipedia.org С его помощью можно доказать утверждение о том, что множество A является подмножеством множества B. en.wikipedia.org