Definition:Dedekind Complete