Пусть X — множество всех автомобилей, A — множество всех красных автомобилей, B — множество всех грузовых автомобилей. Будем считать, что автомобили бывают либо пассажирские, либо грузовые. Из чего состоит дополнение множества A до множества X? Варианты: 1) Зелёные корабли и самолёты; 2) Все корабли и самолёты не красного цвета; 3) Все корабли и самолёты; 4) Все автомобили, кроме красных.

Дополнение множества A до X — это элементы множества X, не входящие в A. Здесь X — все автомобили, а A — красные автомобили, поэтому дополнение составляют автомобили всех цветов, кроме красного.

Из предложенных вариантов подходит: «Все автомобили, кроме красных».