Dedekind puede referirse a: