Definition:Dedekind Section