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