История изменений
Исправление cvs-255, (текущая версия) :
Ну не попадает, и что с того?
Определим свойство «интересный» следующим образом:
x - интересный, если x принадлежит пустому множеству.
Очевидно, что объектов с таким свойством нет. Но свойство «интересный» есть, мы его выше определили.
Исходная версия cvs-255, :
Ну не попадает, и что с того?