tions in def