Def/Dedekind complete

 =Metadata=