defini