ДОПОЛНЕНИЕ К МНОЖЕСТВУ

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