Vocabulary
デデキントの切断
デデキントのせつだん
Dedekind cut
expression
noun