PanLinx
English
eng-000
semi-ordering
русский
rus-000
полуупорядочение
PanLex