PanLinx
русский
rus-000
вполне упорядоченная область
English
eng-000
completely ordered domain
English
eng-000
well-ordered domain
PanLex