Для произвольных множеств А: В: Н проверить: является ли выполнение включения а необходимым и достаточным условием выполнения равенства B. ( Δ - симметрическая разность)
C помощью кругов Эйлера доказано, что α ⇒ β ( cм. приложение) Значит α -[i] достаточное[/i] условие для β Осталось установить или опровергнуть : верно ли, что β ⇒ α