Meaning of "Dedekindring" in English language

German to English English to German