https://www.dict.cc/german-english/Dedekind%27scher+Schnitt.html