Una definición impredicativa es aquella en la cual el término que se quiere definir forma parte del conjunto que se usa para definirlo.

«Hay que evitar las definiciones impredicativa» (Gödel)