PanLinx
русский
rus-000
отношение предпорядка
English
eng-000
preorder relation
PanLex