PanLinx
English
eng-000
Dedekind property
русский
rus-000
дедекиндовость
PanLex