PanLinx
русский
rus-000
приводимый предпорядок
English
eng-000
reducible preorder
PanLex