戴德金群
dàidéjīn qún
мат. дедекиндова группа
примеры:
戴德金集(合)
дедекиндово множество
戴德金有限集(合)
конечное по Дедекинду множество; конечное множество в смысле Дедекинда
пословный:
| 戴德 | 德金 | 群 | |
1) 感戴恩德。
2) 人名。（西元前48∼33) 字延君，生卒年不详，汉梁人。为西汉经学家，与其姪圣同受礼于后苍，戴德称大戴，戴圣称小戴。德删辑八十五篇，名大戴礼; 圣又删为四十九篇，名小戴礼，即今之礼记。
|
1) толпа; скопление; стадо; табун; также сч. сл.
2) множество; масса
|