2.1.B. Дополнение

Если даны два множества A и B, множество A – B определено как состоящее из тех элементов, которые имеются в A, но которых нет в B. Если  A - некоторое базовое множество, взятое за основу,  ¬B будет означать множество элементов, не входящих в B (но при этом входящих в A).  ¬B есть дополнение B; оно не имеет смысла в теории множеств Бурбаки без определения некоторого общего множества.

Теория множеств механизма и гомеостаза

Перевод, комментарии © 2011—2012 Сергей Котов

Таким образом и A – B , и ¬B определяют одно и то же множество.  A – B = ¬B

¬B

B