Англо-русский морской словарь
Dedekind
Дедекиндов
Англо-русский словарь морских терминов
decussate
Dedekind property