Дмитрий Пучков Сформулировать метод двух включений для доказательства теоретико-множественных равенств. ККак это вообще сформулировать?
На Настя Диаграммы Венна - Эйлера http://infoegehelp.ru/index.php?Itemid=65&catid=40:2011-12-18-14-30-56&id=243:diagreilervenn&option=com_content&view=article