In
mathematics and
logic, a
self-referencing definition is called
impredicative. More precisely, a definition is said to be
impredicative if it invokes (mentions or quantifies over) the set being defined, or (more commonly) another set which contains the thing being defined.