1) dedekind domain
绰金环
2) dedekind ring
绰金环
3) dedekind axiom
绰金公理
4) dedekind cut
绰金切断
5) dedekind set
绰金集
6) dedekind sum
绰金和
7) dedekind completion
绰金完备化
8) jordan dedekind chain condition
约当 绰金链条件