Def/Algebraically closed