德语 编辑

〉 完成,结束,满足,[数学]完备化