aTdef