Def structures