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