Словарь логики - дополнение к множеству

такое множество не-А, когда A + не-А = 1, где 1 обозначает некоторую предметную область (уни­версальный класс). Пусть A будет множеством млекопитающих, а областью нашего рассуждения будет множество позвоночных жи­вотных. Тогда дополнением к нему (не-А) будет множество «не­млекопитающие», которое включает множества: рыб, круглоротых, земноводных, пресмыкающихся и птиц.