PanLinx
русский
rus-000
строго упорядоченная группа
English
eng-000
strictly ordered group
PanLex