impredicative

Adjective

 * 1)  definable only in terms of a totality of which it is itself a part