Если имеется два множества (класса), причем любой объект одновременно либо входит, либо не входит в оба множества, то такая связь называется эквивалентностью (тождеством). Такая связь между множествами А и Б имеет место тогда и только тогда, когда одновременно выполняются условия «А -> Б» и «Б -> А» (См. импликация). Обозначается такая связь как «А == Б». На диаграмме Эйлера это изображается так.
То есть оба множества совпадают, а, значит, совпадают и их границы.
Комментарии
Понятно.
Позвольте вопрос.
Множество "А" имеет свою границу в форме овала или только ту линию, которая вокруг буквы "А" нарисована?
И форма области и сама граница имеют чисто символическое значение. Просто наблюдая за расположением этих границ можно будет делать выводы о свойствах логических связок. Первый пример полезности такой наглядной модели - это диаграмма Эйлера для логического следования. Из нее с очевидностью видно, что если верно Н, то верно и Х, а если неверно Х, то неверно и Н.
О форме области и свойстве границы для этих диаграмм говорить так же бессмысленно, как судить о внешности персонажа по смайлику :)
Тот полуовальчик, который вокруг буквы А - это способ показать, что буква относится именно к этой границе. На сложных схемах, где много пересекающихся линий, иногда бывает непонятно, к какой из них конкретно относится эта буква. Отсюда эти полуовалы: чтоб уменьшить количество ошибок.
Вот, вот это я и подозревал.
Благодарю!