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