"Dedekind set" Deutsche bedeutung