1) verge cutter
边缘切割机
2) cut edge
切割边缘,切口边缘
5) cut-boundary
切割边界
补充资料:Dedekind分割
Dedekind分割
Dedekind cut
D日加脑目分割[D汕如目cut;皿e八eKou皿。即ee,e。。e],分割(cut) 把实数集R(或有理数集Q)分割成两个非空集合A和B,其并为R(或Q),并使得对任何a6A和be及都有a
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条