Wiktionary
impredicative
a. (context logic of a proposition English) definable only in terms of a totality of which it is itself a part