impredicativo
agg. [comp. di in-2 e predicativo]. – Nella logica matematica, definizione i., quella che definisce un ente facendo riferimento a una totalità cui quell’ente appartiene.
