impredicative

adjective

1. logic (of a definition) given in terms that require quantification over a range that includes that which is to be defined, as having all the properties of a great general where one of the properties as ascribed must be that property itselfCompare predicative (def. 2)