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