Definition of "impredicative"

impredicative