impredicative definition

Мат. непредикативное определение