Adjective
impredicative (not comparable) (logic, of a proposition) definable only in terms of a totality of which it is itself a part