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 impredicativas» (Gödel)