Например, вот этот пример из той же книги:

Тут множество

определяется через множества, принадлежащие определяемому множеству

и непредикативный характер определения налицо. Но почему непредикативно определение множества

? Думаю-думаю, ничего в голову не приходит.
(Оффтоп)
все мозги разбил на части, все извилины заплел.