impredicative definition

[ریاضیات] تعریف غیر محموله ای