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)